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; Association for Symbolic Logic.; et al
Publisher: Amsterdam : North-Holland, 1989.
Series: Studies in logic and the foundations of mathematics, 129.
Edition/Format:   Book : 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

Document Type: Book
All Authors / Contributors: Heinz-Dieter Ebbinghaus; Association for Symbolic Logic.; et al
ISBN: 0444880224 9780444880222
OCLC Number: 635886670
Notes: "Logic Colloquium '87", the European Summer Meeting of the Association for Symbolic Logic, was held at the University of Granada ...
Description: X, 375 S ; 24 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, 129.
Responsibility: ed. by H.D. Ebbinghaus ... [et al.].
More information:

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