skip to content
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic Preview this item
ClosePreview this item
Checking...

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic

Author: D van Dalen; D Lascar; T J Smiley; Association for Symbolic Logic.
Publisher: Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
Series: Studies in logic and the foundations of mathematics, v. 108.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
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
Additional Physical Format: Online version:
Logic Colloquium (1980 : Prague, Czech Republic).
Logic Colloquium '80.
Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982
(OCoLC)707443164
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: D van Dalen; D Lascar; T J Smiley; Association for Symbolic Logic.
ISBN: 0444864652 9780444864659
OCLC Number: 8668798
Notes: Papers prepared for a conference which was planned for Aug. 24-30, 1980 in Prague, but which was never held.
Description: x, 342 pages ; 23 cm.
Series Title: Studies in logic and the foundations of mathematics, v. 108.
Responsibility: edited by D. van Dalen, D. Lascar, T.J. Smiley.

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/8668798> # Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "8668798" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/792325884#Place/new_york_n_y> ; # New York, N.Y.
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/792325884#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/792325884#Thing/mathematical_logic> ; # Mathematical logic
   schema:about <http://experiment.worldcat.org/entity/work/data/792325884#Topic/logica_matematica> ; # Logica matematica
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/792325884#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
   schema:about <http://id.loc.gov/authorities/classification/BC135> ;
   schema:about <http://dewey.info/class/160/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/792325884#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/94643220> ; # Dirk Dalen
   schema:contributor <http://viaf.org/viaf/85473936> ; # Daniel Lascar
   schema:contributor <http://viaf.org/viaf/94769592> ; # Timothy John Smiley
   schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
   schema:creator <http://experiment.worldcat.org/entity/work/data/792325884#Meeting/logic_colloquium_1980_prague_czech_republic> ; # Logic Colloquium (1980 : Prague, Czech Republic)
   schema:datePublished "1982" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/792325884> ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/792325884#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/707443164> ;
   schema:name "Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic"@en ;
   schema:productID "8668798" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/8668798#PublicationEvent/amsterdam_new_york_north_holland_pub_co_new_york_n_y_sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co_1982> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/792325884#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:publisher <http://experiment.worldcat.org/entity/work/data/792325884#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
   schema:workExample <http://worldcat.org/isbn/9780444864659> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8309591> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/8668798> ;
    .


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/792325884#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/792325884#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
    a bgn:Agent ;
   schema:name "Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/792325884#Meeting/logic_colloquium_1980_prague_czech_republic> # Logic Colloquium (1980 : Prague, Czech Republic)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/792325884#Place/prague_czech_republic> ; # Prague, Czech Republic)
   schema:name "Logic Colloquium (1980 : Prague, Czech Republic)" ;
    .

<http://experiment.worldcat.org/entity/work/data/792325884#Place/prague_czech_republic> # Prague, Czech Republic)
    a schema:Place ;
   schema:name "Prague, Czech Republic)" ;
    .

<http://experiment.worldcat.org/entity/work/data/792325884#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/8668798> ; # Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic
   schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/792325884#Thing/mathematical_logic> # Mathematical logic
    a schema:Thing ;
   schema:name "Mathematical logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/792325884#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/792325884#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://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/85473936> # Daniel Lascar
    a schema:Person ;
   schema:birthDate "1942" ;
   schema:familyName "Lascar" ;
   schema:givenName "Daniel" ;
   schema:givenName "D." ;
   schema:name "Daniel Lascar" ;
    .

<http://viaf.org/viaf/94643220> # Dirk Dalen
    a schema:Person ;
   schema:birthDate "1932" ;
   schema:familyName "Dalen" ;
   schema:givenName "Dirk" ;
   schema:givenName "D. van" ;
   schema:name "Dirk Dalen" ;
    .

<http://viaf.org/viaf/94769592> # Timothy John Smiley
    a schema:Person ;
   schema:familyName "Smiley" ;
   schema:givenName "Timothy John" ;
   schema:givenName "T. J." ;
   schema:name "Timothy John Smiley" ;
    .

<http://worldcat.org/isbn/9780444864659>
    a schema:ProductModel ;
   schema:isbn "0444864652" ;
   schema:isbn "9780444864659" ;
    .

<http://www.worldcat.org/oclc/707443164>
    a schema:CreativeWork ;
   rdfs:label "Logic Colloquium '80." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/8668798> ; # Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic
    .

<http://www.worldcat.org/title/-/oclc/8668798>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/8668798> ; # Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic
   schema:dateModified "2018-03-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/8668798#PublicationEvent/amsterdam_new_york_north_holland_pub_co_new_york_n_y_sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co_1982>
    a schema:PublicationEvent ;
   schema:location <http://experiment.worldcat.org/entity/work/data/792325884#Place/new_york_n_y> ; # New York, N.Y.
   schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:location <http://experiment.worldcat.org/entity/work/data/792325884#Place/amsterdam> ; # Amsterdam
   schema:organizer <http://experiment.worldcat.org/entity/work/data/792325884#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:organizer <http://experiment.worldcat.org/entity/work/data/792325884#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
   schema:startDate "1982" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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