skip to content
Logic Colloquium ... 84, Proceedings of the colloquium held in Manchester, UK, July 1984 Preview this item
ClosePreview this item
Checking...

Logic Colloquium ... 84, Proceedings of the colloquium held in Manchester, UK, July 1984

Author: Robin O Gandy; Angus Macintyre; Harvey E Rose; Logic Colloquium (1984, Manchester); Logic Colloquium.
Publisher: Amsterdam u.a. : North-Holland, 1986.
Series: Studies in logic and the foundations of mathematics, 120.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

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

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Robin O Gandy; Angus Macintyre; Harvey E Rose; Logic Colloquium (1984, Manchester); Logic Colloquium.
ISBN: 0444879994 9780444879998
OCLC Number: 634432280
Description: x, 377 S. : graph. Darst.
Series Title: Studies in logic and the foundations of mathematics, 120.
Responsibility: ed.: J.B. Paris ...

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/634432280> # Logic Colloquium ... 84, Proceedings of the colloquium held in Manchester, UK, July 1984
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "634432280" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2866654626#Place/amsterdam_u_a> ; # Amsterdam u.a.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2866654626#Organization/logic_colloquium> ; # Logic Colloquium.
    schema:contributor <http://viaf.org/viaf/85178915> ; # Harvey E. Rose
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2866654626#Person/macintyre_angus> ; # Angus Macintyre
    schema:contributor <http://viaf.org/viaf/234217153> ; # Robin O. Gandy
    schema:creator <http://viaf.org/viaf/137898071> ; # Logic Colloquium (1984, Manchester)
    schema:datePublished "1986" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2866654626> ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2866654626#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
    schema:name "Logic Colloquium ... 84, Proceedings of the colloquium held in Manchester, UK, July 1984" ;
    schema:productID "634432280" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/634432280#PublicationEvent/amsterdam_u_a_north_holland_1986> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2866654626#Agent/north_holland> ; # North-Holland
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=006229368&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:workExample <http://worldcat.org/isbn/9780444879998> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/634432280> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/2866654626#Person/macintyre_angus> # Angus Macintyre
    a schema:Person ;
    schema:familyName "Macintyre" ;
    schema:givenName "Angus" ;
    schema:name "Angus Macintyre" ;
    .

<http://experiment.worldcat.org/entity/work/data/2866654626#Place/amsterdam_u_a> # Amsterdam u.a.
    a schema:Place ;
    schema:name "Amsterdam u.a." ;
    .

<http://experiment.worldcat.org/entity/work/data/2866654626#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/634432280> ; # Logic Colloquium ... 84, Proceedings of the colloquium held in Manchester, UK, July 1984
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://viaf.org/viaf/137898071> # Logic Colloquium (1984, Manchester)
    a schema:Organization ;
    schema:name "Logic Colloquium (1984, Manchester)" ;
    .

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

<http://viaf.org/viaf/85178915> # Harvey E. Rose
    a schema:Person ;
    schema:familyName "Rose" ;
    schema:givenName "Harvey E." ;
    schema:name "Harvey E. Rose" ;
    .

<http://worldcat.org/isbn/9780444879998>
    a schema:ProductModel ;
    schema:isbn "0444879994" ;
    schema:isbn "9780444879998" ;
    .

<http://www.worldcat.org/title/-/oclc/634432280>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/634432280> ; # Logic Colloquium ... 84, Proceedings of the colloquium held in Manchester, UK, July 1984
    schema:dateModified "2016-08-13" ;
    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.