zboží
(prázdné)
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
číst celé
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
schovat popis
- Nakladatel: Cambridge University Press
- Kód:
- Rok vydání: 2000
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 432
- Šířka balení: 15.3 cm
- Výška balení: 22.9 cm
- Hloubka balení: 2.6 cm
- Váha balení: 642 g
Recenze