Handbook of Philosophical Logic (eBook, PDF)

Volume 15
Redaktion: Gabbay, Dov M.; Guenthner, Franz

• Format: PDF

Produktbeschreibung

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Netherlands
• Seitenzahl: 402
• Erscheinungstermin: 25. November 2010
• Englisch
• ISBN-13: 9789400704855
• Artikelnr.: 37410879

Inhaltsangabe

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.