skip to content
Logic Colloquium '69; proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969. Preview this item
ClosePreview this item
Checking...

Logic Colloquium '69; proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969.

Author: Robin Oliver Gandy; C M E Yates
Publisher: Amsterdam, North-Holland Pub. Co., 1971.
Series: Studies in logic and the foundations of mathematics, v. 61.
Edition/Format:   Print book : Conference publication : 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

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
Logic Colloquium (1969 : University of Manchester).
Logic Colloquium '69.
Amsterdam, North-Holland Pub. Co., 1971
(OCoLC)909090513
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Robin Oliver Gandy; C M E Yates
OCLC Number: 213018534
Notes: Recognized as a meeting of the Association for Symbolic Logic and as a NATO Advanced Study Institute.
Description: xiv, 451 pages 23 cm.
Series Title: Studies in logic and the foundations of mathematics, v. 61.
Responsibility: Ed. by R.O. Gandy and C.M.E. [sic] Yates.

Reviews

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

Tags

Be the first.
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/213018534> # Logic Colloquium '69; proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969.
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "213018534" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/352747567#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/352747567#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/352747567#Meeting/logic_colloquium_1969_university_of_manchester> ; # Logic Colloquium (1969 : University of Manchester)
   schema:datePublished "1971" ;
   schema:editor <http://viaf.org/viaf/27990233> ; # Charles Michael Edmund Yates
   schema:editor <http://viaf.org/viaf/234217153> ; # Robin Oliver Gandy
   schema:exampleOfWork <http://worldcat.org/entity/work/id/352747567> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/352747567#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/909090513> ;
   schema:name "Logic Colloquium '69; proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969."@en ;
   schema:productID "213018534" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/213018534#PublicationEvent/amsterdam_north_holland_pub_co_1971> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/352747567#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/213018534> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/352747567#Agent/north_holland_pub_co> # North-Holland Pub. Co.
    a bgn:Agent ;
   schema:name "North-Holland Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/352747567#Meeting/logic_colloquium_1969_university_of_manchester> # Logic Colloquium (1969 : University of Manchester)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/352747567#Place/university_of_manchester> ; # University of Manchester)
   schema:name "Logic Colloquium (1969 : University of Manchester)" ;
    .

<http://experiment.worldcat.org/entity/work/data/352747567#Place/university_of_manchester> # University of Manchester)
    a schema:Place ;
   schema:name "University of Manchester)" ;
    .

<http://experiment.worldcat.org/entity/work/data/352747567#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/213018534> ; # Logic Colloquium '69; proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969.
   schema:name "Studies in logic and the foundations of mathematics ;" ;
   schema:name "Studies in logic and the foundations of mathematics." ;
    .

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

<http://viaf.org/viaf/234217153> # Robin Oliver Gandy
    a schema:Person ;
   schema:familyName "Gandy" ;
   schema:givenName "Robin Oliver" ;
   schema:name "Robin Oliver Gandy" ;
    .

<http://viaf.org/viaf/27990233> # Charles Michael Edmund Yates
    a schema:Person ;
   schema:familyName "Yates" ;
   schema:givenName "Charles Michael Edmund" ;
   schema:givenName "C. M. E." ;
   schema:name "Charles Michael Edmund Yates" ;
    .

<http://www.worldcat.org/oclc/909090513>
    a schema:CreativeWork ;
   rdfs:label "Logic Colloquium '69." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/213018534> ; # Logic Colloquium '69; proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969.
    .

<http://www.worldcat.org/title/-/oclc/213018534>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/213018534> ; # Logic Colloquium '69; proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969.
   schema:dateModified "2016-05-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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