Repository | Book | Chapter
(1987) Mathematical logic and its applications, Dordrecht, Springer.
the primary concern … is number, and this means the positive integers … Everything attaches itself to number, and every mathematical statement ultimately expresses the fact that if we perform certain computations within the set of positive integers, we shall get certain results. [2, pp. 2–3]
Publication details
DOI: 10.1007/978-1-4613-0897-3_5
Full citation:
Bridges, D. (1987)., A constructive morse theory of sets, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 61-79.
This document is unfortunately not available for download at the moment.