Handbook of Philosophical Logic [electronic resource] : Volume 15 /
Gabbay, Dov M.editor.
Guenthner, Franz.editor.
Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory.
Description based upon print version of record.
Includes bibliographical references.
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.
Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory.
Logic.
Philosophy.
Linguistics.
Logic.
Philosophy, general.
Linguistics, general.