Handbook of Philosophical Logic Volume 15 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Gabbay, Dov M. (Editor), Guenthner, Franz (Editor)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2011.
• Series: Handbook of Philosophical Logic ; 15
• Subjects: Philosophy.; Logic.; Linguistics.; Philosophy, general.; Linguistics, general.

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory.

Table of Contents:

• Editorial Preface
• Dov M. Gabbay
• Lambda Calculi: A Guide
• Chris Hankin
• Interpolation and Definability
• Dov Gabbay and Larisa L. Maksimova
• Discourse Representation Theory
• Hans Kamp, Josef van Genabith and Uwe Reyle
• Index.