Basic Proof Theory
✅ Poštovné ZADARMO nad 39€ ✅ Knižná akcia každý mesiac ✅ Výhodné ceny ✅ Bezpečný nákup
Viac o knihe Basic Proof Theory (Anne S. Troelstra) - Séria Cambridge Tracts in Theoretical Computer Science
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Rok vydania:
2002
ISBN:
9780521779111
Rozmer:
152×229 mm
Počet strán:
432
Väzba:
brožovaná
Jazyk: angličtina
Vydavateľstvo Cambridge University Press
Obchodný názov: Cambridge University Press & AssssmentAdresa: Univesity Printing House, Shaftesbury Road, CB2 8BS CambridgeE-mail: directs@cambridge.org
Našli ste chybu alebo škodlivý obsah? Napíšte nám
Zaradené v kategóriách
