Formalizing mathematics using weak type theory

  • Mark Scheffer

Student thesis: Master

Date of Award30 Nov 2003
Original languageEnglish
SupervisorRob Nederpelt (Supervisor 1)

Cite this

Documents

  • full text

    File: application/pdf, 9.37 MB

    Type: Thesis

'