Logic Colloquium '88 - 1st Edition - ISBN: 9780444874559, 9780080887678

Logic Colloquium '88, Volume 127

1st Edition

Editors: R. Ferro C. Bonotto S. Valentini A. Zanardo
eBook ISBN: 9780080887678
Imprint: North Holland
Published Date: 4th August 1989
Page Count: 402
Tax/VAT will be calculated at check-out
20% off
20% off
20% off
20% off
20% off
20% off

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Table of Contents

On the Model Theory of Free Metabelian Groups of Bounded Exponent (A. Baudisch). D.O.P. and n-Tuples of Models (E. Bouscaren). Algebra and Model Theory of Chain Fields: An Overview (M.A. Dickmann). A Lefschetz Principle for Integral Closures (A. Macintyre). The C*-Algebras of Three-Valued Logic (D. Mundici). Some Problems and Results in the Theory of Actually Computable Functions (W.A. Maass, T.A. Slaman). Kleene-Spaces (D. Normann). On Bounded Time Turing Reducibility on the Recursive Sets (T.A. Slaman). The &Pgr;12-Singleton Conjecture: An Introduction (S. Friedman). The Descriptive Set Theory of &sgr;-Ideals of Compact Sets (A.S. Kechris). Solving Equation in Lambda-Calculus (C. Böhm, A. Piperno, E. Tronci). Comparative Logics and Abelian l-Groups (E. Casari). Finitary Inductively Presented Logics (S. Feferman). Geometry of Interaction: Interpretation of System F (J.Y. Girard). Intuitionistic Formal Spaces and their Neighbourhood (G. Sambin). Probabilistic Models (R. Chuaqui). Logical Partial Functions and Extension of Equational Logic (W. Craig).

Panel Discussion on Trends in Logic: Relation with Computer Science (M. Davis). Some Remarks (S. Feferman). Trends in Logic (A. Macintyre). Remarks Concerning the Comments of A. Macintyre (V. Harnik). Remarks on Logic in Mathematics and in Computer Science (G. Longo). Comments on the Panel Discussion on Trends in Logic (A. Ranta). Concluding Remarks on the Panel Discussion (Y.N. Moschovakis).

Panel Discussion on The Teaching of Logic: The Teaching of Logic (C. Bernardi). Teaching the Incompleteness Theorem (M. Davis). LTF - A Logic Teaching Framework (D.J. Watt).


The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today.

As well as selected papers, the two panel discussions are also included, on Trends in Logic'' andThe Teaching of Logic''.


No. of pages:
© North Holland 1989
North Holland
eBook ISBN:

About the Editors

R. Ferro Editor

C. Bonotto Editor

S. Valentini Editor

A. Zanardo Editor