The Axiomatization of Arithmetic.

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

Keyphrases

situation calculus
arithmetic operations
complete axiomatization
floating point
databases
data mining
computer vision
information systems
face recognition
feature extraction