Connecting informal and formal mathematics

H.J. Elbers

Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

321 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Mathematics and Computer Science
Begeleider(s)/adviseur	Cohen, Arjeh, Promotor Klop, J.W., Promotor, Externe Persoon
Datum van toekenning	28 mei 1998
Plaats van publicatie	Eindhoven
Uitgever	Technische Universiteit Eindhoven
Gedrukte ISBN's	90-386-0611-7
DOI's	https://doi.org/10.6100/IR510951
Status	Gepubliceerd - 1998

Toegang tot document

@phdthesis{391a5055df50430dbaffab6bbd5695b5,

title = "Connecting informal and formal mathematics",

author = "H.J. Elbers",

year = "1998",

doi = "10.6100/IR510951",

language = "English",

isbn = "90-386-0611-7",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}