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
Mục lục
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.
Ngôn ngữ Anh ● định dạng PDF ● Trang 402 ● ISBN 9789400704855 ● Kích thước tập tin 2.8 MB ● Biên tập viên Dov M. Gabbay & Franz Guenthner ● Nhà xuất bản Springer Netherland ● Thành phố Dordrecht ● Quốc gia NL ● Được phát hành 2010 ● Phiên bản 2 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 2221848 ● Sao chép bảo vệ DRM xã hội
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
7.529 Ebooks trong thể loại này
