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
Inhaltsverzeichnis
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.
Dieses Ebook kaufen – und ein weitere GRATIS erhalten!
Sprache Englisch ● Format PDF ● Seiten 402 ● ISBN 9789400704855 ● Dateigröße 2.8 MB ● Herausgeber Dov M. Gabbay & Franz Guenthner ● Verlag Springer Netherland ● Ort Dordrecht ● Land NL ● Erscheinungsjahr 2010 ● Ausgabe 2 ● herunterladbar 24 Monate ● Währung EUR ● ID 2221848 ● Kopierschutz Soziales DRM