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
Jadual kandungan
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.
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format PDF ● Halaman-halaman 402 ● ISBN 9789400704855 ● Saiz fail 2.8 MB ● Penyunting Dov M. Gabbay & Franz Guenthner ● Penerbit Springer Netherland ● Bandar raya Dordrecht ● Negara NL ● Diterbitkan 2010 ● Edisi 2 ● Muat turun 24 bulan ● Mata wang EUR ● ID 2221848 ● Salin perlindungan Social DRM