skip to content
Logic colloquium : proceedings of the Colloquium. 1976, Proceedings of a conference held in Oxford in July 1976 Preview this item
ClosePreview this item
Checking...

Logic colloquium : proceedings of the Colloquium. 1976, Proceedings of a conference held in Oxford in July 1976

Author: Robin Oliver Gandy
Publisher: Amsterdam ; London : North-Holland Publ., 1977.
Series: Studies in Logic and the Foundations of Mathematics, 87; Logic colloquium : proceedings of the Colloquium, 1976
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

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

 

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Robin Oliver Gandy
ISBN: 0720422000 9780720422009 0720406919 9780720406917
OCLC Number: 716203473
Description: X, 612 p. ; 23 cm.
Series Title: Studies in Logic and the Foundations of Mathematics, 87; Logic colloquium : proceedings of the Colloquium, 1976
Responsibility: ed. by R.O. Gandy, J.M.E. Hyland.

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/716203473> # Logic colloquium : proceedings of the Colloquium. 1976, Proceedings of a conference held in Oxford in July 1976
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "716203473" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/509146987#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/509146987#Person/gandy_robin_oliver> ; # Robin Oliver Gandy
   schema:datePublished "1977" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/509146987> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/509146987#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in Logic and the Foundations of Mathematics
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/509146987#Series/logic_colloquium_proceedings_of_the_colloquium> ; # Logic colloquium : proceedings of the Colloquium
   schema:name "Logic colloquium : proceedings of the Colloquium. 1976, Proceedings of a conference held in Oxford in July 1976" ;
   schema:numberOfPages "612" ;
   schema:productID "716203473" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/716203473#PublicationEvent/amsterdam_london_north_holland_publ_1977> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/509146987#Agent/north_holland_publ> ; # North-Holland Publ.
   schema:workExample <http://worldcat.org/isbn/9780720406917> ;
   schema:workExample <http://worldcat.org/isbn/9780720422009> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/716203473> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/509146987#Agent/north_holland_publ> # North-Holland Publ.
    a bgn:Agent ;
   schema:name "North-Holland Publ." ;
    .

<http://experiment.worldcat.org/entity/work/data/509146987#Person/gandy_robin_oliver> # Robin Oliver Gandy
    a schema:Person ;
   schema:familyName "Gandy" ;
   schema:givenName "Robin Oliver" ;
   schema:name "Robin Oliver Gandy" ;
    .

<http://experiment.worldcat.org/entity/work/data/509146987#Series/logic_colloquium_proceedings_of_the_colloquium> # Logic colloquium : proceedings of the Colloquium
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/716203473> ; # Logic colloquium : proceedings of the Colloquium. 1976, Proceedings of a conference held in Oxford in July 1976
   schema:name "Logic colloquium : proceedings of the Colloquium" ;
    .

<http://experiment.worldcat.org/entity/work/data/509146987#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/716203473> ; # Logic colloquium : proceedings of the Colloquium. 1976, Proceedings of a conference held in Oxford in July 1976
   schema:name "Studies in Logic and the Foundations of Mathematics" ;
    .

<http://worldcat.org/isbn/9780720406917>
    a schema:ProductModel ;
   schema:isbn "0720406919" ;
   schema:isbn "9780720406917" ;
    .

<http://worldcat.org/isbn/9780720422009>
    a schema:ProductModel ;
   schema:isbn "0720422000" ;
   schema:isbn "9780720422009" ;
    .

<http://www.worldcat.org/title/-/oclc/716203473>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/716203473> ; # Logic colloquium : proceedings of the Colloquium. 1976, Proceedings of a conference held in Oxford in July 1976
   schema:dateModified "2016-05-10" ;
   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.