✦ LIBER ✦

On Recursive Models of Formalised Arithmeticby A. Mostowski

✍ Scribed by Review by: Solomon Feferman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic-free Formalisations of Recursive A

✍ Review by: Rózsa Péter 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 308 KB

Models of Propositional Calculi in Recur

✍ Review by: Andrzej Mostowski 📂 Article 📅 1963 🏛 Association for Symbolic Logic 🌐 English ⚖ 188 KB

[Studies in Logic and the Foundations of

✍ Mostowski, A. 📂 Article 📅 1979 🏛 Elsevier 🌐 English ⚖ 404 KB

A Class of Models for Second Order Arith

✍ Review by: H. B. Enderton 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 392 KB

On a System of Axioms which has no Recur

✍ Review by: G. Hasenjaeger 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 208 KB

A Formalization of Recursive Arithmeticb

✍ Review by: Barkley Rosser 📂 Article 📅 1942 🏛 Association for Symbolic Logic 🌐 English ⚖ 196 KB