Basic Proof Theory - Troelstra, A. S. (Universiteit van Amsterdam) a Schwichtenberg, H. (Universitat Munchen)
Stabilní cena
Cenu sledujeme od 20. 7. 2026 a zatím se drží na 1 531 Kč.
O produktu
This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
Tip: Podívejte se také na další produkty z kategorie Matematické základy.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9780521779111
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
