Main image
Click to view image in fullscreen
![]()
Logical Foundations of Mathematics and Computational Complexity
This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
2 200,00 DH
Sur commande
This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
| ISBN / EAN | 9783319001180 |
|---|---|
| Auteur | Pudlak, Pavel |
| Editeur | Springer International Publishing AG |