Ontologische Aspekte expliziter Mathematik. Diploma thesis, Institut für Informatik und angewandte Mathematik (1997)

by D Jansen