Handbook of Philosophical Logic. Vol.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), 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: Hardback
• Released: 06.10.2010
• EAN: 9789400704848
• ISBN: 978-94-0-070484-8
• No. of pages: 402
• Weight: 774 g
• Illustrations: XIV, 402 p.
• Series: Handbook of Philosophical Logi; Handbook of Philosophical Logic; Handbook of Philosophical Logi
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Natural sciences, medicine, IT, technology > IT, data processing > IT; Non-fiction book > Philosophy, religion > Philosophy: general, reference works; B, Linguistics, Logic, Philosophy, Linguistics, general, Religion and Philosophy, Philosophy, general, discourse;interpolation;lambda caculus