Incompleteness and Completeness: Formalizing Logic and Analysis in Type Theory..
Incompleteness and Completeness: Formalizing Logic and Analysis in Type Theory (IPA Dissertation Series). Notes: [PHILOSOPHY]. “Incompleteness and Completeness: Formalizing Logic and Analysis in Type Theory (IPA Dissertation Series).”.