The unfolding of non-finitist arithmetic.

Solomon Feferman Thomas Strahm

Published in: Ann. Pure Appl. Log. (2000)

Keyphrases

petri net
floating point
arithmetic operations
information systems
preprocessing
neural network
multiscale