Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

Formalizing mathematics using weak type theory

  • Mark Scheffer

Scriptie/Masterproef: Master

Datum prijs30 nov 2003
Originele taalEngels
BegeleiderRob Nederpelt (Afstudeerdocent 1)

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 9,37 MB

    Type: Scriptie

'