𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Theses Concerning the Foundations of Logic

✍ Scribed by Marvin Farber


Book ID
125700760
Publisher
Duke University Press
Year
1929
Tongue
English
Weight
320 KB
Volume
38
Category
Article
ISSN
0031-8108

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The Foundations of Suslin Logic
✍ Erik Ellentuck πŸ“‚ Article πŸ“… 1975 πŸ› Association for Symbolic Logic 🌐 English βš– 269 KB
Epistemic foundations of logic
✍ Brian Ellis πŸ“‚ Article πŸ“… 1976 πŸ› Springer Netherlands 🌐 English βš– 998 KB
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

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