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
Tabela de Conteúdo
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.
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● Páginas 402 ● ISBN 9789400704855 ● Tamanho do arquivo 2.8 MB ● Editor Dov M. Gabbay & Franz Guenthner ● Editora Springer Netherland ● Cidade Dordrecht ● País NL ● Publicado 2010 ● Edição 2 ● Carregável 24 meses ● Moeda EUR ● ID 2221848 ● Proteção contra cópia DRM social