CZF and Second Order Arithmetic.

Robert S. Lubarsky

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

Keyphrases

higher order
arithmetic operations
fourth order
neural network
information systems
web services
high order
hessian matrix
databases
similarity measure
digital libraries
floating point