
Conte aos seus amigos sobre este item:
Deduction: Introductory Symbolic Logic 2º edição
Bonevac, Daniel (University of Texas, Austin)
Deduction: Introductory Symbolic Logic 2º edição
Bonevac, Daniel (University of Texas, Austin)
Offers a presentation of classical first-order logic. This book presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.
528 pages, 0
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 13 de setembro de 2002 |
ISBN13 | 9780631227137 |
Editoras | John Wiley and Sons Ltd |
Páginas | 528 |
Dimensões | 231 × 150 × 28 mm · 708 g |
Idioma | English |
Ver tudo de Bonevac, Daniel (University of Texas, Austin) ( por exemplo Paperback Book )