Some Independence Results for Peano Arithmetic.

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

Keyphrases

conditional independence
arithmetic operations
decision making
high level
multiscale
preprocessing
relational databases
interval arithmetic