Notes on constructive mathematics
Per Martin-Löf
Bok Engelsk 1970 Per. Martin-Löf
| Utgitt | Stockholm : Almqvist & Wiksell , 1970
|
|---|---|
| Omfang | 109 s. : ill.
|
| Opplysninger | Avhandling (doktorgrad) - Stockholms universitet
|
| Emner | Constructive mathematics
konstrukiv matematikk intuisjonisme intuisjonistisk symbolsk logikk konstruktivisme |
| Dewey |
