Weak Comparability of Well Orderings and Reverse Mathematics.

Harvey Friedman Jeffry L. Hirst

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

Keyphrases

computer science
computer programming
artificial intelligence
mathematics education
database
databases
information systems
multiscale
mobile robot
probabilistic model
computer assisted instruction