- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte inaugurated the important paradigm shift from finite proofs to infinite proofs and developed the mathematical tools for their analysis.



