Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
€149.79
Содержание
Editorial Preface: Dov M. Gabbay.- Belief Revision: Odinaldo Rodrigues, Dov Gabbay and Alessandra Russo.- Refutation Systems in Propositional Logic: Tomasz Skura.- Quantifier Scope in Formal Linguistics: E. G. Ruys and Yoad Winter.- Non-deterministic Semantics for Logical Systems: Arnon Avron and Anna Zamansky.- Index.
язык английский ● Формат PDF ● страницы 310 ● ISBN 9789400704794 ● Размер файла 2.9 MB ● редактор Dov M. Gabbay & Franz Guenthner ● издатель Springer Netherland ● город Dordrecht ● Страна NL ● опубликованный 2011 ● Издание 2 ● Загружаемые 24 месяцы ● валюта EUR ● Код товара 2221846 ● Защита от копирования Социальный DRM
Больше книг от того же автора (ов) / редактор
7 524 Электронные книги в этой категории
