A note on theses of the first-order functional calculus.

Juliusz Reichbach

Published in: Notre Dame J. Formal Log. (1968)

Keyphrases

term rewriting
first order logic
higher order
information systems
onset detection
artificial intelligence
expressive power