Author :
Beeson, Michael J., 1945-
Title :
Foundations of constructive mathematics
Author Statement :
Michael J. Beeson
Publication :
Springer-Verlag
Collation :
xxiii, 466 p.: ill.; 25 cm
Series :
Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3. Folge, Bd. 6
Subject :
Constructive mathematics
Holding Info. :
0387121730
SubTitle :
: metamathematical studies
Biblography :
Bibliography: p. [439]-449
