Merkliste 
 1 Ergebnisse 
 
1

Mathematical intuitionism 

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