MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort, CCL bibliography
BibTeX Entry:
@MASTERSTHESIS{Hagemann2008,
AUTHOR = {Hagemann, Willem},
TITLE = {Formalisierung der Arithmetik},
SCHOOL = {Universit{\"a}t G{\"o}ttingen},
YEAR = {2005},
TYPE = {Diploma thesis}
}
Entry last modified by Willem Hagemann, 03/12/2010