
Conte aos seus amigos sobre este item:
Natural Deduction, Hybrid Systems and Modal Logics - Trends in Logic 2010 edition
Andrzej Indrzejczak
Natural Deduction, Hybrid Systems and Modal Logics - Trends in Logic 2010 edition
Andrzej Indrzejczak
This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction.
514 pages, 20 black & white tables, biography
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 11 de junho de 2010 |
ISBN13 | 9789048187843 |
Editoras | Springer |
Genre | Aspects (Academic) > Philosophical |
Páginas | 492 |
Dimensões | 155 × 235 × 28 mm · 893 g |
Editor | Indrzejczak, Andrzej |
Mostrar tudo
Mais por Andrzej Indrzejczak
Ver tudo de Andrzej Indrzejczak ( por exemplo Hardcover Book e Paperback Book )