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
Supervisors/Advisors
  • Cohen, Arjeh M., Promotor
  • Klop, J.W., Promotor, External person
Award date28 May 1998
Place of PublicationEindhoven
Publisher
Print ISBNs90-386-0611-7
DOIs
Publication statusPublished - 1998

Cite this

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