Handbook of Philosophical Logic - Volume 15

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

List 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.

Summary

Lambda Calculi: A Guide
Interpolation and Definability
Discourse Representation Theory

Product details

• Assisted by: Dov M. Gabbay (Editor), Guenthner (Editor), Guenthner (Editor), Franz Guenthner (Editor), Do M Gabbay (Editor), Dov M Gabbay (Editor)
• Publisher: Springer Netherlands
• Languages: English
• Product format: Paperback / Softback
• Released: 30.01.2013
• EAN: 9789400734517
• ISBN: 978-94-0-073451-7
• No. of pages: 402
• Dimensions: 161 mm x 24 mm x 234 mm
• Weight: 648 g
• Illustrations: XIV, 402 p.
• Series: Handbook of Philosophical Logic; Handbook of Philosophical Logic
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Non-fiction book > Philosophy, religion > Philosophy: general, reference works; B, Linguistics, Logic, Philosophy, Linguistics, general, Religion and Philosophy, Philosophy, general, discourse;interpolation;lambda caculus