You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Reverse mathematics: axioms and theorems and back again
This repository contains the text and source for my Bachelor's thesis on reverse
mathematics and computability theory, presented at the University of Granada on
the 25th of June of 2019.