𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Foundations of mathematics and other logical essays

✍ Scribed by Frank Plumpton Ramsey

Book ID
127454458
Year
2009
Tongue
English
Weight
3 MB
Edition
1
Category
Library
ISBN
0415488249
ASIN
B001KZV6CU

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Mathematical logic and the foundations o
Mathematical logic and the foundations of mathematics
✍ G T Kneebone πŸ“‚ Library πŸ“… 1963 πŸ› Van Nostrand 🌐 English βš– 5 MB

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

Mathematical logic and the foundations o
Mathematical logic and the foundations of mathematics
✍ G T Kneebone πŸ“‚ Library πŸ“… 1963 πŸ› Van Nostrand 🌐 English βš– 5 MB

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

Foundations of mathematical logic
Foundations of mathematical logic
✍ Haskell B. Curry πŸ“‚ Library πŸ“… 1977 πŸ› Dover Publications 🌐 English βš– 3 MB

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as