CALCULUSES AND FORMAL SYSTEMS

DOI10.1111/j.1746-8361.1958.tb01462.xzbMath0092.25001OpenAlexW2054344121MaRDI QIDQ3268309

Haskell B. Curry

Publication date: 1958

Published in: dialectica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1746-8361.1958.tb01462.x

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Lorenzen's Proof of Consistency for Elementary Number Theory ⋮ Absorption relation on regular sets ⋮ Unnamed Item ⋮ Logical string rewriting ⋮ Deduction search in calculi of general type ⋮ Cut-type rules for calculi of general type ⋮ A hierarchy of Brouwer constructive functionals