✦ LIBER ✦

A Revision of the Fundamental Rules of Combinatory Logic

✍ Scribed by Haskell B. Curry

Book ID: 124949244
Publisher: Association for Symbolic Logic
Year: 1941
Tongue: English
Weight: 758 KB
Volume: 6
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2266655

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Revision of the Fundamental Rules of C

A Revision of the Fundamental Rules of Combinatory Logicby Haskell B. Curry;Consistency and Completeness of the Theory of Combinatorsby Haskell B. Curry

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

Revising the Logic of Logical Revision

✍ J. Salerno 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 67 KB

Combinatory logic and the axiom of choic

Combinatory logic and the axiom of choice

✍ Henk Barendregt 📂 Article 📅 1973 🏛 Elsevier Science ⚖ 849 KB

The Axiom of Choice and Combinatory Logi

The Axiom of Choice and Combinatory Logic

✍ Andrea Cantini 📂 Article 📅 2003 🏛 Association for Symbolic Logic 🌐 English ⚖ 367 KB

OTTER experiments in a system of combina

OTTER experiments in a system of combinatory logic

✍ Thomas Jech 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 668 KB

Dictionary of Logic as Applied in the St

Dictionary of Logic as Applied in the Study of Language || Combinatory Logic

✍ Marciszewski, Witold 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 Dutch ⚖ 426 KB

1. Structure And References 1.1. The Main Part Of The Dictionary Consists Of Alphabetically Arranged Articles Concerned With Basic Logical Theories And Some Other Selected Topics. Within Each Article A Set Of Concepts Is Defined In Their Mutual Relations. This Way Of Defining Concepts In The Context