skip to content
Notes on the formalization of logic Preview this item
ClosePreview this item
Checking...

Notes on the formalization of logic

Author: Dana S Scott; David Bostock
Publisher: Oxford : Sub-faculty of Philosophy [University of Oxford], 1981.
Series: Study aids monograph, no. 2.; Study aids monograph, no. 3.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Dana S Scott; David Bostock
OCLC Number: 55886713
Notes: Continuous pagination.
Description: 2 volumes ; 30 cm.
Series Title: Study aids monograph, no. 2.; Study aids monograph, no. 3.
Responsibility: compiled by Dana Scott ; with the aid of David Bostock [and others].

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/55886713> # Notes on the formalization of logic
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "55886713" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/138442107#Place/oxford> ; # Oxford
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/138442107#Person/bostock_david> ; # David Bostock
   schema:contributor <http://experiment.worldcat.org/entity/work/data/138442107#Person/scott_dana_s> ; # Dana S. Scott
   schema:datePublished "1981" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/138442107> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/138442107#Series/study_aids_monograph> ; # Study aids monograph ;
   schema:name "Notes on the formalization of logic"@en ;
   schema:productID "55886713" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/55886713#PublicationEvent/oxford_sub_faculty_of_philosophy_university_of_oxford_1981> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/138442107#Agent/sub_faculty_of_philosophy_university_of_oxford> ; # Sub-faculty of Philosophy [University of Oxford]
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/55886713> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/138442107#Agent/sub_faculty_of_philosophy_university_of_oxford> # Sub-faculty of Philosophy [University of Oxford]
    a bgn:Agent ;
   schema:name "Sub-faculty of Philosophy [University of Oxford]" ;
    .

<http://experiment.worldcat.org/entity/work/data/138442107#Person/bostock_david> # David Bostock
    a schema:Person ;
   schema:familyName "Bostock" ;
   schema:givenName "David" ;
   schema:name "David Bostock" ;
    .

<http://experiment.worldcat.org/entity/work/data/138442107#Person/scott_dana_s> # Dana S. Scott
    a schema:Person ;
   schema:familyName "Scott" ;
   schema:givenName "Dana S." ;
   schema:name "Dana S. Scott" ;
    .

<http://experiment.worldcat.org/entity/work/data/138442107#Series/study_aids_monograph> # Study aids monograph ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/55886713> ; # Notes on the formalization of logic
   schema:name "Study aids monograph ;" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.