On the methods of mechanical non-theorems
André Rognes
Bok Engelsk 2013
Digital utgave: Søke-URL
| Utgitt | Oslo : [Department of Mathematics], Faculty of Mathematics and Natural Sciences, University of Oslo , 2013
|
|---|---|
| Omfang | 105 s. : ill.
|
| Opplysninger | Avhandling (ph.d.) - Universitetet i Oslo, 2013
|
| Emner | symbolsk logikk bevisteori
|
| Dewey |
