Handbook of Philosophical Logic Volume 15

Handbook of Philosophical Logic Volume 15 / edited by Dov M. Gabbay, Franz Guenthner.

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

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Gabbay, Dov M. (Editor), Guenthner, Franz (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
Edition:2nd ed. 2011.
Series:Handbook of Philosophical Logic ; 15
Springer eBook Collection.
Subjects:
Logic.
Philosophy.
Linguistics.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items