The consistency of a system of combinatory restricted generality

DOI10.2307/2273047zbMath0274.02009OpenAlexW2129304780MaRDI QIDQ5181344

Haskell B. Curry

Publication date: 1973

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273047

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Predicate calculus of arbitrarily high finite order ⋮ Consistency notions in illative combinatory logic ⋮ European Meeting of the Association for Symbolic Logic, Bristol, England, 1973