skip to content
Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 Preview this item
ClosePreview this item
Checking...

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

Author: Heinz-Dieter Ebbinghaus
Publisher: Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.
Series: Studies in logic and the foundations of mathematics, v. 129.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory,  Read more...

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 proceedings
Granada (1987)
Congresses
Additional Physical Format: Online version:
Logic Colloquium (1987 : Granada, Spain).
Logic Colloquium '87.
Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989
(OCoLC)664552024
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Heinz-Dieter Ebbinghaus
ISBN: 0444880224 9780444880222
OCLC Number: 20321658
Description: x, 375 pages ; 23 cm.
Contents: Model Theory of Henselian Valued Fields (F. Delon). On the Foundations of Mathematics in 1987 (F.R. Drake). Logic and Natural Language Systems (J.E. Fenstad). Model Theory of Regular and Compact Spaces (J. Flum). Categoricity and Permutation Groups (W. Hodges). Unidimensional Theories. An Introduction to Geometric Stability Theory (E. Hrushovski). Unbounded Filters on omega (J.I. Ihoda). Type Theory and Explicit Mathematics (G. Jager). An Introduction to Extenders and Core Models for Extender Sequences (P. Koepke). Logical Aspects of the Axiomatic Method: On Their Significance in (Traditional) Foundations and in Some (Now) Common or Garden Varieties of Mathematics (G. Kreisel). On the Use of Diagonally Nonrecursive Functions (A. Kucera). Some Aspects of Impredicativity: Notes on Weyl's Philosophy of Mathematics and on Today's Type Theory (G. Longo). General Logics (J. Meseguer). Semantic Parallels in Natural Language and Computation (J. Van Benthem).
Series Title: Studies in logic and the foundations of mathematics, v. 129.
Responsibility: edited by H.-D. Ebbinghaus [and others].

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/20321658> # Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "20321658" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/808974902#Place/new_york_n_y> ; # New York, N.Y.
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/808974902#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/808974902#Topic/logique_symbolique> ; # logique symbolique
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/808974902#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/808974902#Topic/kongress> ; # Kongreß
    schema:about <http://experiment.worldcat.org/entity/work/data/808974902#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/808974902#Topic/logique_informatique> ; # logique informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/808974902#Topic/logique_mathematique> ; # logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/808974902#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://dewey.info/class/510.1/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/108792446> ; # Heinz-Dieter Ebbinghaus
    schema:creator <http://experiment.worldcat.org/entity/work/data/808974902#Meeting/logic_colloquium_1987_granada_spain> ; # Logic Colloquium (1987 : Granada, Spain)
    schema:datePublished "1989" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/808974902> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference proceedings"@en ;
    schema:genre "Granada (1987)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/808974902#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/664552024> ;
    schema:name "Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987"@en ;
    schema:productID "20321658" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/20321658#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co_1989> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/808974902#Agent/distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
    schema:publisher <http://experiment.worldcat.org/entity/work/data/808974902#Agent/north_holland> ; # North-Holland
    schema:workExample <http://worldcat.org/isbn/9780444880222> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/20321658> ;
    .


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

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

<http://experiment.worldcat.org/entity/work/data/808974902#Meeting/logic_colloquium_1987_granada_spain> # Logic Colloquium (1987 : Granada, Spain)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/808974902#Place/granada_spain> ; # Granada, Spain)
    schema:name "Logic Colloquium (1987 : Granada, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/808974902#Place/granada_spain> # Granada, Spain)
    a schema:Place ;
    schema:name "Granada, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/808974902#Place/new_york_n_y> # New York, N.Y.
    a schema:Place ;
    schema:name "New York, N.Y." ;
    .

<http://experiment.worldcat.org/entity/work/data/808974902#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/20321658> ; # Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
    schema:name "Studies in logic and the foundations of mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/808974902#Topic/logique_informatique> # logique informatique
    a schema:Intangible ;
    schema:name "logique informatique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/808974902#Topic/logique_mathematique> # logique mathématique
    a schema:Intangible ;
    schema:name "logique mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/808974902#Topic/logique_symbolique> # logique symbolique
    a schema:Intangible ;
    schema:name "logique symbolique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/808974902#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/808974902#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/108792446> # Heinz-Dieter Ebbinghaus
    a schema:Person ;
    schema:birthDate "1939" ;
    schema:familyName "Ebbinghaus" ;
    schema:givenName "Heinz-Dieter" ;
    schema:name "Heinz-Dieter Ebbinghaus" ;
    .

<http://worldcat.org/isbn/9780444880222>
    a schema:ProductModel ;
    schema:isbn "0444880224" ;
    schema:isbn "9780444880222" ;
    .

<http://www.worldcat.org/oclc/664552024>
    a schema:CreativeWork ;
    rdfs:label "Logic Colloquium '87." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/20321658> ; # Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
    .

<http://www.worldcat.org/title/-/oclc/20321658>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/20321658> ; # Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
    schema:dateModified "2015-03-18" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/20321658#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co_1989>
    a schema:PublicationEvent ;
    schema:location <http://experiment.worldcat.org/entity/work/data/808974902#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/808974902#Place/amsterdam> ; # Amsterdam
    schema:organizer <http://experiment.worldcat.org/entity/work/data/808974902#Agent/distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
    schema:organizer <http://experiment.worldcat.org/entity/work/data/808974902#Agent/north_holland> ; # North-Holland
    schema:startDate "1989" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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