Connecting informal and formal mathematics

H.J. Elbers

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

165 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
  • Cohen, Arjeh M., Promotor
  • Klop, J.W., Promotor, External person
Award date28 May 1998
Place of PublicationEindhoven
Print ISBNs90-386-0611-7
Publication statusPublished - 1998

Cite this

Elbers, H. J. (1998). Connecting informal and formal mathematics. Technische Universiteit Eindhoven.