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
Inhoudsopgave
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.
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● Pagina’s 402 ● ISBN 9789400704855 ● Bestandsgrootte 2.8 MB ● Leeftijd 02-99 jaar ● Editor Dov M. Gabbay & Franz Guenthner ● Uitgeverij Springer Netherland ● Stad Dordrecht ● Land NL ● Gepubliceerd 2010 ● Editie 2 ● Downloadbare 24 maanden ● Valuta EUR ● ID 2221848 ● Kopieerbeveiliging Sociale DRM