Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.
€149.79
Jadual kandungan
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.
Bahasa Inggeris ● Format PDF ● Halaman-halaman 310 ● ISBN 9789400704794 ● Saiz fail 2.9 MB ● Penyunting Dov M. Gabbay & Franz Guenthner ● Penerbit Springer Netherland ● Bandar raya Dordrecht ● Negara NL ● Diterbitkan 2011 ● Edisi 2 ● Muat turun 24 bulan ● Mata wang EUR ● ID 2221846 ● Salin perlindungan Social DRM
Lebih banyak ebook daripada pengarang yang sama / Penyunting
7,524 Ebooks dalam kategori ini
