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
|
