Dragalin, Al'bert Grigor'evič
1  Ergebnisse:
Personensuche X
?
1

Mathematical intuitionism 

introduction to proof theory  Translations of mathematical monographs ; 67
Exemplar:  Zentrale:E02 a mat 011 e/972
 
1-1