Ultrafilters in reverse mathematics.

Published in: J. Math. Log. (2014)

Keyphrases

computer science
computer assisted instruction
electrical engineering
computer algebra
database systems
cooperative
scheduling problem
middle school students