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
Table des matières
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.
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Anglais ● Format PDF ● Pages 402 ● ISBN 9789400704855 ● Taille du fichier 2.8 MB ● Éditeur Dov M. Gabbay & Franz Guenthner ● Maison d’édition Springer Netherland ● Lieu Dordrecht ● Pays NL ● Publié 2010 ● Édition 2 ● Téléchargeable 24 mois ● Devise EUR ● ID 2221848 ● Protection contre la copie DRM sociale