áru
(üres)
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
tovább
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
leírás elrejtése
- Kiadó: Cambridge University Press
- Kód:
- Kiadás éve: 2000
- Nyelv: Angol
- Kötés: Fűzött (paperback)
- Oldalak száma: 432
- Csomag szélessége: 15.3 cm
- Csomag magassága: 22.9 cm
- Csomag mélysége: 2.6 cm
- Csomag súlya: 642 g
Recenzió