Banishing Ultrafilters from Our Consciousness

Publication
Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Related