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
Cuprins
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.
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format PDF ● Pagini 402 ● ISBN 9789400704855 ● Mărime fișier 2.8 MB ● Editor Dov M. Gabbay & Franz Guenthner ● Editura Springer Netherland ● Oraș Dordrecht ● Țară NL ● Publicat 2010 ● Ediție 2 ● Descărcabil 24 luni ● Valută EUR ● ID 2221848 ● Protecție împotriva copiilor DRM social