- ホーム
- > 洋書
- > ドイツ書
- > Humanities, Arts & Music
- > Philosophy
- > general surveys & lexicons
Full Description
The Theory Pamphlet presents Gerhard Gentzen's natural deduction and sequent calculi with emphasis on the theory behind the formalism. The same material serves also as a philosophical treatise, describing the meaning of, significance of, and relationships among three different ways to conceptualize the idea of logical completeness.