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

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

Author: Robin Oliver Gandy; J M E Hyland
Publisher: Amsterdam : North-Holland, 1977.
Series: Studies in logic and the foundations of mathematics, 87.
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
Congresos
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Robin Oliver Gandy; J M E Hyland
ISBN: 0720406919 9780720406917
OCLC Number: 644379972
Description: x, 612 p.
Series Title: Studies in logic and the foundations of mathematics, 87.
Responsibility: edited 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/644379972> # Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "644379972" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/509146987#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/509146987#Topic/logica_simbolica_y_matematica> ; # Lógica simbólica y matemática
   schema:about <http://experiment.worldcat.org/entity/work/data/509146987#Topic/logic_symbolic_and_mathematical_congresses> ; # Logic, Symbolic and mathematical--Congresses
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/234217153> ; # Robin Oliver Gandy
   schema:contributor <http://viaf.org/viaf/164384846> ; # J. M. E. Hyland
   schema:creator <http://experiment.worldcat.org/entity/work/data/509146987#Meeting/logic_colloquium_1976_oxford_gran_bretana> ; # Logic Colloquium (1976. Oxford, Gran Bretaña)
   schema:datePublished "1977" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/509146987> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings" ;
   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:name "Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976" ;
   schema:numberOfPages "612" ;
   schema:productID "644379972" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/644379972#PublicationEvent/amsterdam_north_holland_1977> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/509146987#Agent/north_holland> ; # North-Holland
   schema:workExample <http://worldcat.org/isbn/9780720406917> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/644379972> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/509146987#Meeting/logic_colloquium_1976_oxford_gran_bretana> # Logic Colloquium (1976. Oxford, Gran Bretaña)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/509146987#Place/oxford_gran_bretana> ; # Oxford, Gran Bretaña)
   schema:name "Logic Colloquium (1976. Oxford, Gran Bretaña)" ;
    .

<http://experiment.worldcat.org/entity/work/data/509146987#Place/oxford_gran_bretana> # Oxford, Gran Bretaña)
    a schema:Place ;
   schema:name "Oxford, Gran Bretaña)" ;
    .

<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/644379972> ; # Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
   schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/509146987#Topic/logic_symbolic_and_mathematical_congresses> # Logic, Symbolic and mathematical--Congresses
    a schema:Intangible ;
   schema:hasPart <http://id.loc.gov/authorities/subjects/sh85078115> ;
   schema:name "Logic, Symbolic and mathematical--Congresses" ;
    .

<http://experiment.worldcat.org/entity/work/data/509146987#Topic/logica_simbolica_y_matematica> # Lógica simbólica y matemática
    a schema:Intangible ;
   schema:name "Lógica simbólica y matemática" ;
    .

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

<http://viaf.org/viaf/164384846> # J. M. E. Hyland
    a schema:Person ;
   schema:familyName "Hyland" ;
   schema:givenName "J. M. E." ;
   schema:name "J. M. E. Hyland" ;
    .

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

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


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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