𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Foundations of mathematical logic

✍ Scribed by Haskell B. Curry

Book ID
127454422
Publisher
Dover Publications
Year
1977
Tongue
English
Weight
3 MB
Edition
2 Revised
Category
Library
City
New York
ISBN-13
9780486634623

No coin nor oath required. For personal study only.

✦ Synopsis

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 mathematical. Graduate-level course. 1963 ed. Exercises.<br

πŸ“œ SIMILAR VOLUMES

Foundations of Mathematical Logic
Foundations of Mathematical Logic
✍ Haskell B. Curry πŸ“‚ Library πŸ“… 1963 πŸ› McGraw-Hill, New York 🌐 English βš– 4 MB
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