Foundations of constructive mathematics :
Beeson, Michael J., 1945-,
Foundations of constructive mathematics : Metamathematical studies / Michael j. beeson - 466 páginas - Ergebnisse der mathematik und ihrer grenzgebiete ; 3. folge, bd. 6 .
3540121730
Matemáticas constructivas
QA9.56 / B44
Foundations of constructive mathematics : Metamathematical studies / Michael j. beeson - 466 páginas - Ergebnisse der mathematik und ihrer grenzgebiete ; 3. folge, bd. 6 .
3540121730
Matemáticas constructivas
QA9.56 / B44