Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Diploma Thesis | {Hagemann2008, ... | Diplomarbeit
Hagemann, Willem
Formalisierung der Arithmetik
Universität Göttingen, 2005
Internal
Open
29
January
2009
Max-Planck-Institut für Informatik
Programming Logics Group
experts only
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}
}
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
Edit History (please click the blue arrow to see the details) | Editor(s) Willem Hagemann | Created 01/29/2009 10:04:37 AM |
| Revision 0. | Editor Willem Hagemann | Edit Date 01/29/2009 10:04:37 AM |