Martin-Löf, Per, 1942-. | Notes on constructive mathematics
VIAF ID: 6412151656205008400006 ( Work )
Permalink: http://viaf.org/viaf/6412151656205008400006
Preferred Forms
Expressions
Author
:
Martin-Löf, Per,
Language | Title | Expression | Sources |
---|---|---|---|
Russian | Očerki po konstruktivnoj matematike | Minc :1975 |