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:   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


<http://www.worldcat.org/oclc/20321658>
library:oclcnum"20321658"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/20321658>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:creator
schema:datePublished"1989"
schema:exampleOfWork<http://worldcat.org/entity/work/id/808974902>
schema:genre"Conference proceedings"@en
schema:genre"Conference proceedings."@en
schema:genre"Granada (1987)"@en
schema:inLanguage"en"
schema:name"Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987"@en
schema:publisher
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.