Logic Seminar: Jesse Johnson, University of Notre Dame

-

Location: 258 Hurley Hall

Title: A computational approach to reverse mathematics, countable and uncountable

Abstract