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
สารบัญ
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.
ภาษา อังกฤษ ● รูป PDF ● หน้า 402 ● ISBN 9789400704855 ● ขนาดไฟล์ 2.8 MB ● บรรณาธิการ Dov M. Gabbay & Franz Guenthner ● สำนักพิมพ์ Springer Netherland ● เมือง Dordrecht ● ประเทศ NL ● การตีพิมพ์ 2010 ● ฉบับ 2 ● ที่สามารถดาวน์โหลดได้ 24 เดือน ● เงินตรา EUR ● ID 2221848 ● ป้องกันการคัดลอก โซเชียล DRM
หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ
7,529 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้
