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
Tabla de materias
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.
Idioma Inglés ● Formato PDF ● Páginas 402 ● ISBN 9789400704855 ● Tamaño de archivo 2.8 MB ● Editor Dov M. Gabbay & Franz Guenthner ● Editorial Springer Netherland ● Ciudad Dordrecht ● País NL ● Publicado 2010 ● Edición 2 ● Descargable 24 meses ● Divisa EUR ● ID 2221848 ● Protección de copia DRM social
Más ebooks del mismo autor / Editor
7.529 Ebooks en esta categoría
