Foundations of constructive mathematics
Subtitle: metamathematical studies
By: Michael J. Beeson.
Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ;; 3. Folge, Bd. 6
Publisher: Springer-Verlag
Published: 1985
Place of publication: Berlin; New York
Language: eng
Number of pages: 466
Subjects: Constructive mathematics
Notes: Bibliography: p. [439]-449.
Includes indexes.