𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Foundations of Suslin Logic

✍ Scribed by Erik Ellentuck


Book ID
124972188
Publisher
Association for Symbolic Logic
Year
1975
Tongue
English
Weight
269 KB
Volume
40
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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
The Metaphysical Foundation of Logic
✍ Anand Jayprakash Vaidya πŸ“‚ Article πŸ“… 2005 πŸ› Springer Netherlands 🌐 English βš– 161 KB