Constructivism in Mathematics: An Introduction
Book information
Description
Hardbound.
Similar books
Lectures on Linear Logic
1992 · PDF
Sets: Naïve, Axiomatic and Applied
1978 · DJVU
Principles of Intuitionism: Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y.
1969 · PDF
Brouwer's Cambridge Lectures on Intuitionism
1981 · DJVU
Sets: Naïve, Axiomatic and Applied. A Basic Compendium with Exercises for Use in Set Theory for Non Logicians, Working and Teaching Mathematicians and Students
1978 · PDF
Choice Sequences: A Chapter of Instuitionistic Mathematics
1977 · DJVU
Logic Colloquium '80Papers intended for the European Summer Meeting of the Association for Symbolic Logic
1982 · PDF
Sets and integration An outline of the development
1972 · PDF