✦ LIBER ✦

Formal Logic and Mathematicsby Arend Heyting

✍ Scribed by Review by: E. W. Beth

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal logic and mathematics

✍ Arend Heyting 📂 Article 📅 1947 🏛 Springer Netherlands 🌐 English ⚖ 569 KB

Language and Sign in Mathematicsby A. He

✍ Review by: E. W. Beth 📂 Article 📅 1949 🏛 Association for Symbolic Logic 🌐 English ⚖ 197 KB

The Development of Intuitionistic Mathem

✍ Review by: Alonzo Church 📂 Article 📅 1937 🏛 Association for Symbolic Logic 🌐 English ⚖ 207 KB

Introductory Formal Logic of Mathematics

✍ Review by: Gert Heinz Müller 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 354 KB

Les Fondements des Mathématiques du Poin

✍ Review by: Saunders MacLane 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 192 KB

Foundations of Logic and Mathematicsby R

✍ Review by: M. Kokoszyńska 📂 Article 📅 1939 🏛 Association for Symbolic Logic 🌐 English ⚖ 355 KB