roba
(prazno)
Kontakt
Račun 
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
pročitati sve
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
sakriti opis
- Izdavač: Cambridge University Press
- Kod:
- Godina izdavanja: 2000
- Jezik: Engleski jezik
- Uvez: Meʒuzvezana
- Broj stranica: 432
- Širina pakiranja: 15.3 cm
- Visina pakiranja: 22.9 cm
- Dubina pakiranja: 2.6 cm
- Težina pakiranja: 642 g
Recenzije