Proof theoretical investigations into Gödel's second incompleteness theorem
Anders Moen
Bok Engelsk 1999 · Hovedoppgaver (Form)
Utgitt | Oslo : [A. Moen] , 1999
|
---|---|
Omfang | IV, 121 s.
|
Opplysninger | Hovedoppgave - Universitetet i Oslo, 1999
|
Emner | |
Sjanger | Hovedoppgaver (Form) : (NO-TrBIB)HUME01032. - Hovedoppgaver
|