Main image
Click to view image in fullscreen
![]()
Natural Deduction, Hybrid Systems and Modal Logics
This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction.
2 620,00 DH
Sur commande
This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction.
| ISBN / EAN | 9789048187843 |
|---|---|
| Auteur | Indrzejczak, Andrzej |
| Editeur | Springer |