1
by Beeson, M.J.
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... -- II. Informal Foundations of Constructive Mathematics -- III. Some Different Philosophies...