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

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

Author: R O Gandy; C Michael E Yates; North Atlantic Treaty Organization.; International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.; University of Manchester.
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

Material Type: Conference publication
Document Type: Book
All Authors / Contributors: R O Gandy; C Michael E Yates; North Atlantic Treaty Organization.; International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.; University of Manchester.
ISBN: 0720422612 9780720422610
OCLC Number: 778670
Notes: "Recognized as a meeting of the Association for Symbolic Logic and as a NATO Advanced Study Institute."
"Supported by the Logic, Methodology and Philosophy of Science Division of the International Union for Philosophy and History of Science."
Description: xiv, 451 pages 23 cm.
Series Title: Studies in logic and the foundations of mathematics, v. 61.
Responsibility: Edited by R.O. Gandy and C.M.E. 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/778670> # Logic Colloquium '69; proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969.
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "778670" ;
   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://experiment.worldcat.org/entity/work/data/352747567#Topic/logic_symbolic_and_mathematical_congresses> ; # Logic, Symbolic and mathematical--Congresses
   schema:about <http://id.worldcat.org/fast/1113587> ; # Set theory
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
   schema:about <http://id.loc.gov/authorities/classification/BC135> ;
   schema:about <http://dewey.info/class/511.3/e18/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/352747567#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/136761028> ; # International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/352747567#Meeting/logic_colloquium_14th_1969_manchester_england> ; # Logic Colloquium (14th : 1969 : Manchester, England)
   schema:contributor <http://viaf.org/viaf/233640370> ; # University of Manchester.
   schema:contributor <http://viaf.org/viaf/148423701> ; # North Atlantic Treaty Organization.
   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> ; # C. Michael E. Yates
   schema:editor <http://viaf.org/viaf/234217153> ; # R. O. Gandy
   schema:exampleOfWork <http://worldcat.org/entity/work/id/352747567> ;
   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:name "Logic Colloquium '69; proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969."@en ;
   schema:productID "778670" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/778670#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.
   schema:workExample <http://worldcat.org/isbn/9780720422610> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/778670> ;
    .


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_14th_1969_manchester_england> # Logic Colloquium (14th : 1969 : Manchester, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/352747567#Place/manchester_england> ; # Manchester, England)
   schema:name "Logic Colloquium (14th : 1969 : Manchester, England)" ;
    .

<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/manchester_england> # Manchester, England)
    a schema:Place ;
   schema:name "Manchester, England)" ;
    .

<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/778670> ; # Logic Colloquium '69; proceedings of the Summer School and [fourteenth] 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://experiment.worldcat.org/entity/work/data/352747567#Topic/logic_symbolic_and_mathematical_congresses> # Logic, Symbolic and mathematical--Congresses
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/352747567#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique--Congrès"@en ;
    .

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

<http://id.worldcat.org/fast/1091984> # Recursive functions
    a schema:Intangible ;
   schema:name "Recursive functions"@en ;
    .

<http://id.worldcat.org/fast/1113587> # Set theory
    a schema:Intangible ;
   schema:name "Set theory"@en ;
    .

<http://viaf.org/viaf/136761028> # International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
    a schema:Organization ;
   schema:name "International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science." ;
    .

<http://viaf.org/viaf/148423701> # North Atlantic Treaty Organization.
    a schema:Organization ;
   schema:name "North Atlantic Treaty Organization." ;
    .

<http://viaf.org/viaf/233640370> # University of Manchester.
    a schema:Organization ;
   schema:name "University of Manchester." ;
    .

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

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

<http://worldcat.org/isbn/9780720422610>
    a schema:ProductModel ;
   schema:isbn "0720422612" ;
   schema:isbn "9780720422610" ;
    .

<http://www.worldcat.org/title/-/oclc/778670>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/778670> ; # Logic Colloquium '69; proceedings of the Summer School and [fourteenth] 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.