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
Innehållsförteckning
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.
Språk Engelska ● Formatera PDF ● Sidor 402 ● ISBN 9789400704855 ● Filstorlek 2.8 MB ● Redaktör Dov M. Gabbay & Franz Guenthner ● Utgivare Springer Netherland ● Stad Dordrecht ● Land NL ● Publicerad 2010 ● Utgåva 2 ● Nedladdningsbara 24 månader ● Valuta EUR ● ID 2221848 ● Kopieringsskydd Social DRM
Fler e-böcker från samma författare (r) / Redaktör
7 529 E-böcker i denna kategori
