Connecting informal and formal mathematics

H.J. Elbers

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

168 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
Supervisors/Advisors
  • Cohen, Arjeh, 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