Basic Proof Theory
- Nakladatel
- Cambridge University Press, 2002
- Počet stran
- 432
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Číst víc
- Brožovaná vazba
- Angličtina
Potřebujete poradit knihu?
Zeptejte se online knihkupce!
Proč nakupovat knihy na Martinus.cz?
- Tituly skladem doručujeme do druhého dne
- Knihomolská záložka ke každému nákupu
- Více než 9 000 výdejních míst