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
İçerik tablosu
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.
Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!
Dil İngilizce ● Biçim PDF ● Sayfalar 402 ● ISBN 9789400704855 ● Dosya boyutu 2.8 MB ● Editör Dov M. Gabbay & Franz Guenthner ● Yayımcı Springer Netherland ● Kent Dordrecht ● Ülke NL ● Yayınlanan 2010 ● Baskı 2 ● İndirilebilir 24 aylar ● Döviz EUR ● Kimlik 2221848 ● Kopya koruma Sosyal DRM