On Skolem and Herbrand theorems for intuitionistic logic
by Herman Ruge Jervell
Bok Engelsk 1972
| Utgitt | Oslo : Matematisk institutt, Universitetet i Oslo , 1972
|
|---|---|
| Omfang | 23 s.
|
| Opplysninger | Del av doktoravhandling (2/6). - Avhandling (doktorgrad) - Universitetet i Oslo, (1974?)
|
| Emner | |
| Dewey | |
| ISBN | 8255300783
|
