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
Зміст
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.
Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!
Мова Англійська ● Формат PDF ● Сторінки 402 ● ISBN 9789400704855 ● Розмір файлу 2.8 MB ● Редактор Dov M. Gabbay & Franz Guenthner ● Видавець Springer Netherland ● Місто Dordrecht ● Країна NL ● Опубліковано 2010 ● Видання 2 ● Завантажувані 24 місяців ● Валюта EUR ● Посвідчення особи 2221848 ● Захист від копіювання Соціальний DRM