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 O Gandy; J Martin E Hyland; Andrzej Mostowski
Publisher: Amsterdam ; New York (NY) ; Oxford : North-Holland, 1977.
Series: Studies in logic and the foundations of mathematics, 87; Studies in logic and the foundations of mathematics, 87.
Edition/Format:   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: Congrès
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Robin O Gandy; J Martin E Hyland; Andrzej Mostowski
ISBN: 0720406919 9780720406917
OCLC Number: 489767579
Description: 1 vol. (IX-612 p.) ; 23 cm.
Series Title: Studies in logic and the foundations of mathematics, 87; 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


<http://www.worldcat.org/oclc/489767579>
library:oclcnum"489767579"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/489767579>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:creator
schema:datePublished"1977"
schema:exampleOfWork<http://worldcat.org/entity/work/id/509146987>
schema:inLanguage"en"
schema:name"Logic colloquium '76 proceedings of a Conference held in Oxford in July 1976"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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