A Predicative Approach to Nonstandard Mathematics.

Published in: Math. Log. Q. (1987)

Keyphrases

computer science
computer algebra
computer programming
artificial neural networks
computer algebra systems