✦ LIBER ✦

The System CΔ of Combinatory Logicby Frederic B. Fitch

✍ Scribed by Review by: Bruce Lercher

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

(Sintez cifrovyh avtomatov):Representati

✍ Review by: Robert McNaughton 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 193 KB

An Extension of Basic Logicby Frederic B

✍ Review by: S. C. Kleene 📂 Article 📅 1949 🏛 Association for Symbolic Logic 🌐 English ⚖ 406 KB

A Further Consistent Extension of Basic

✍ Review by: S. C. Kleene 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 310 KB

The Heine-Borel Theorem in Extended Basi

✍ Review by: S. C. Kleene 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 204 KB

On the Syntactical Construction of Syste

✍ Review by: Frederic B. Fitch 📂 Article 📅 1946 🏛 Association for Symbolic Logic 🌐 English ⚖ 322 KB

The Unity of Logicby Thomas Greenwood

✍ Review by: Frederic B. Fitch 📂 Article 📅 1947 🏛 Association for Symbolic Logic 🌐 English ⚖ 331 KB