Handbook of Philosophical Logic: Volume 15

by Dov M. Gabbay (Editor), Franz Guenthner (Editor)

Overview

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

Product Details

ISBN-13:	9789400734517
Publisher:	Springer Netherlands
Publication date:	01/25/2013
Series:	Handbook of Philosophical Logic , #15
Edition description:	Second Edition 2011
Pages:	402
Product dimensions:	6.10(w) x 9.25(h) x 0.03(d)

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.