Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi.

Jean H. Gallier

Published in: Theor. Comput. Sci. (1993)

Keyphrases

computer systems
building blocks
expert systems
data mining
natural language
higher order
intelligent systems
knowledge based systems
learning systems
expressive power
decision procedures
higher order logic