Connecting informal and formal mathematics

H.J. Elbers

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

164 Downloads (Pure)
Originele taal-2Engels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • Department of Mathematics and Computer Science
Begeleider(s)/adviseur
  • Cohen, Arjeh M., Promotor
  • Klop, J.W., Promotor, Externe Persoon
Datum van toekenning28 mei 1998
Plaats van publicatieEindhoven
Uitgever
Gedrukte ISBN's90-386-0611-7
DOI's
StatusGepubliceerd - 1998

Citeer dit

Elbers, H. J. (1998). Connecting informal and formal mathematics. Technische Universiteit Eindhoven. https://doi.org/10.6100/IR510951