Košík
tovar
(prázdne)
Kontakt
Účet
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
prečítať celé
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Skryť popis
- Nakladateľ: Cambridge University Press
- Kód:
- Rok vydania: 2000
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 432
- Šírka balenia: 15.3 cm
- Výška balenia: 22.9 cm
- Hĺbka balenia: 2.6 cm
- Váha balenia: 642 g
Recenzie