The Combinatory Foundations of Mathematical Logic.

Haskell B. Curry

Published in: J. Symb. Log. (1942)

Keyphrases

computer algebra
artificial intelligence
mathematical theory
classical logic
logic programming
computational properties
multi valued
sound and complete axiomatization
human reasoning
fuzzy logic
database systems
automated reasoning
defeasible logic
predicate logic
deontic logic
machine learning
database