Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
Das E-Book Handbook of Philosophical Logic wird angeboten von Springer Netherlands und wurde mit folgenden Begriffen kategorisiert:
discourse;interpolation;lambda caculus
Das E-Book Handbook of Philosophical Logic wird angeboten von Springer Netherlands und wurde mit folgenden Begriffen kategorisiert:
discourse;interpolation;lambda caculus
€149.79
Spis treści
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.
Język Angielski ● Format PDF ● Strony 402 ● ISBN 9789400704855 ● Rozmiar pliku 2.8 MB ● Redaktor Dov M. Gabbay & Franz Guenthner ● Wydawca Springer Netherland ● Miasto Dordrecht ● Kraj NL ● Opublikowany 2010 ● Ydanie 2 ● Do pobrania 24 miesięcy ● Waluta EUR ● ID 2221848 ● Ochrona przed kopiowaniem Społeczny DRM
Więcej książek elektronicznych tego samego autora (ów) / Redaktor
7 529 Ebooki w tej kategorii
