skip to content
Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 Preview this item
ClosePreview this item
Checking...

Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973

Author: Harvey Ernest Rose; J C Shepherdson; Association for Symbolic Logic.
Publisher: Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier, 1975.
Series: Studies in logic and the foundations of mathematics, v. 80.
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
Bristol (1973)
Kongress
Kongreß
Congresses
Congrès
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Harvey Ernest Rose; J C Shepherdson; Association for Symbolic Logic.
ISBN: 0444106421 9780444106421 0720422825 9780720422825
OCLC Number: 2566802
Notes: "Held under the auspices of the Association for Symbolic Logic."
Description: viii, 513 pages ; 23 cm.
Series Title: Studies in logic and the foundations of mathematics, v. 80.
Responsibility: ed. by H.E. Rose and J.C. Shepherdson.

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/2566802> # Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "2566802" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/761482373#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/761482373#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique - Congrès
   schema:about <http://dewey.info/class/511.3/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/761482373#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.loc.gov/authorities/classification/BC135> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/761482373#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/761482373#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/761482373#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/761482373#Topic/kongress> ; # Kongress
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
   schema:contributor <http://viaf.org/viaf/72828364> ; # J. C. Shepherdson
   schema:contributor <http://experiment.worldcat.org/entity/work/data/761482373#Person/rose_harvey_ernest> ; # Harvey Ernest Rose
   schema:creator <http://experiment.worldcat.org/entity/work/data/761482373#Meeting/logic_colloquium_1973_bristol_england> ; # Logic Colloquium (1973 : Bristol, England)
   schema:datePublished "1975" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/761482373> ;
   schema:genre "Kongreß"@en ;
   schema:genre "Bristol (1973)"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/761482373#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
   schema:name "Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973"@en ;
   schema:productID "2566802" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/2566802#PublicationEvent/amsterdam_north_holland_pub_co_new_york_american_elsevier_1975> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/761482373#Agent/american_elsevier> ; # American Elsevier
   schema:publisher <http://experiment.worldcat.org/entity/work/data/761482373#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
   schema:workExample <http://worldcat.org/isbn/9780444106421> ;
   schema:workExample <http://worldcat.org/isbn/9780720422825> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/2566802> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/761482373#Agent/american_elsevier> # American Elsevier
    a bgn:Agent ;
   schema:name "American Elsevier" ;
    .

<http://experiment.worldcat.org/entity/work/data/761482373#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/761482373#Meeting/logic_colloquium_1973_bristol_england> # Logic Colloquium (1973 : Bristol, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/761482373#Place/bristol_england> ; # Bristol, England)
   schema:name "Logic Colloquium (1973 : Bristol, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/761482373#Person/rose_harvey_ernest> # Harvey Ernest Rose
    a schema:Person ;
   schema:familyName "Rose" ;
   schema:givenName "Harvey Ernest" ;
   schema:name "Harvey Ernest Rose" ;
    .

<http://experiment.worldcat.org/entity/work/data/761482373#Place/bristol_england> # Bristol, England)
    a schema:Place ;
   schema:name "Bristol, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/761482373#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/2566802> ; # Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973
   schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/761482373#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/761482373#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://experiment.worldcat.org/entity/work/data/761482373#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

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

<http://viaf.org/viaf/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
   schema:name "Association for Symbolic Logic." ;
    .

<http://viaf.org/viaf/72828364> # J. C. Shepherdson
    a schema:Person ;
   schema:familyName "Shepherdson" ;
   schema:givenName "J. C." ;
   schema:name "J. C. Shepherdson" ;
    .

<http://worldcat.org/isbn/9780444106421>
    a schema:ProductModel ;
   schema:isbn "0444106421" ;
   schema:isbn "9780444106421" ;
    .

<http://worldcat.org/isbn/9780720422825>
    a schema:ProductModel ;
   schema:isbn "0720422825" ;
   schema:isbn "9780720422825" ;
    .

<http://www.worldcat.org/title/-/oclc/2566802>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/2566802> ; # Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973
   schema:dateModified "2016-05-09" ;
   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.