Foundations of constructive mathematics /

Foundations of constructive mathematics /

41

Bibliographic Details
Main Author: 418952 Beeson, Michael J.
Format:
Published: Berlin : Springer-Verlag, 1985
Subjects:
Constructive mathematics

Similar Items