Added detailed table of contents.
Foundations of logic and mathematics
✍ Scribed by Carnap R.
- Publisher
- Univ. Chicago
- Year
- 1939
- Tongue
- English
- Leaves
- 74
- Category
- Library
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Graduate-level historical study is ideal for students intending to specialize in the topic, as well as those who only need a general treatment. Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics, emphasizing Hilbert's metamathematics. Part III focuses on
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods, including algorithms and epitheory, and offers a brief treatment of Markov's approach to algorithms, explains elementary fa
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods, including algorithms and epitheory, and offers a brief treatment of Markov's approach to algorithms, explains elementary fa