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
Tabella dei contenuti
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.
Lingua Inglese ● Formato PDF ● Pagine 402 ● ISBN 9789400704855 ● Dimensione 2.8 MB ● Editore Dov M. Gabbay & Franz Guenthner ● Casa editrice Springer Netherland ● Città Dordrecht ● Paese NL ● Pubblicato 2010 ● Edizione 2 ● Scaricabile 24 mesi ● Moneta EUR ● ID 2221848 ● Protezione dalla copia DRM sociale