Structural Proof Theory
Knihu koupíte v
1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku.
Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Krátký popis
Structural proof theory studies the general structure and
properties of logical and mathematical proofs. This book is both a
concise introduction to structural proof theory and a work of
research that will be of interest to specialists. A special feature
is a downloadable computer program for developing proofs
interactively.
Výběr knih autorů
Sara (University of Helsinki) Negri ,
Jan (University of Helsinki) von Plato
Zobrazit všechny knihy autora
Sara (University of Helsinki) Negri,
Jan (University of Helsinki) von Plato
Výběr knih vydavatele
Cambridge University Press
Zobrazit všechny knihy vydavatele
Cambridge University Press
Naše tipy
- Právě probíhající akce a slevy na knihy
-
Knihydobrovsky.cz | do 31.03.2026
-
Knihydobrovsky.cz | do 31.03.2026
-
Knihydobrovsky.cz | do 31.03.2026
-
Dobre-knihy.cz | do 31.03.2026
- zobrazit všechny akce
