
Tell your friends about this 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
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | June 11, 2010 |
ISBN13 | 9789048187843 |
Publishers | Springer |
Genre | Aspects (Academic) > Philosophical |
Pages | 492 |
Dimensions | 155 × 235 × 28 mm · 893 g |
Editor | Indrzejczak, Andrzej |
Show all
More by Andrzej Indrzejczak
See all of Andrzej Indrzejczak ( e.g. Hardcover Book and Paperback Book )