Constructivism in mathematics : an introduction. Volume 1 /
Constructivism in Mathematics Vol.1.
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Amsterdam :
North-Holland,
1988.
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 121. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Constructivism in mathematics : an introduction /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1988)
by: Troelstra, A. S. (Anne Sjerp)
Published: (1988)
From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
Published: (2005)
Published: (2005)
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Published: (1980)
Published: (1980)
A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (2001)
by: Enderton, Herbert B.
Published: (2001)
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)
Published: (1977)
Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 /
Published: (1978)
Published: (1978)
Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Published: (1979)
Published: (1979)
Intentional mathematics /
Published: (1985)
Published: (1985)
Handbook of mathematical logic /
Published: (1977)
Published: (1977)
Kurt Godel and the foundations of mathematics : horizons of truth /
Published: (2011)
Published: (2011)
Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)
Published: (1989)
Foundations without foundationalism : a case for second-order logic /
by: Shapiro, Stewart, 1951-
Published: (1991)
by: Shapiro, Stewart, 1951-
Published: (1991)
Combinatory logic : pure, applied and typed /
by: Bimbó, Katalin, 1963-
Published: (2012)
by: Bimbó, Katalin, 1963-
Published: (2012)
Combinatory logic.
Published: (1972)
Published: (1972)
Tracking reason : proof, consequence, and truth /
by: Azzouni, Jody
Published: (2006)
by: Azzouni, Jody
Published: (2006)
Constructibility and mathematical existence /
by: Chihara, Charles S., 1932-
Published: (1990)
by: Chihara, Charles S., 1932-
Published: (1990)
Proceedings of the Second Scandinavian Logic Symposium
Published: (1971)
Published: (1971)
Logical frameworks for truth and abstraction : an axiomatic study /
by: Cantini, Andrea
Published: (1996)
by: Cantini, Andrea
Published: (1996)
Model theory : an introduction /
by: Marker, D. (David), 1958-
Published: (2002)
by: Marker, D. (David), 1958-
Published: (2002)
Intensional mathematics /
Published: (1985)
Published: (1985)
Handbook of the logic of argument and inference : the turn towards the practical /
Published: (2002)
Published: (2002)
Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Published: (1989)
Published: (1989)
Admissibility of logical inference rules /
by: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Published: (1997)
by: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Published: (1997)
Positive topology : a new practice in constructive mathematics /
by: Sambin, Giovanni
Published: (2025)
by: Sambin, Giovanni
Published: (2025)
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Published: (1988)
Published: (1988)
From Peirce to Skolem : a neglected chapter in the history of logic /
by: Brady, Geraldine
Published: (2000)
by: Brady, Geraldine
Published: (2000)
The nuts and bolts of proofs /
by: Cupillari, Antonella
Published: (2005)
by: Cupillari, Antonella
Published: (2005)
Handbook of computability theory /
Published: (1999)
Published: (1999)
Classical recursion theory : the theory of functions and sets of natural numbers /
by: Odifreddi, Piergiorgio, 1950-
Published: (1992)
by: Odifreddi, Piergiorgio, 1950-
Published: (1992)
After Gödel : Platonism and rationalism in mathematics and logic /
by: Tieszen, Richard L., 1951-2017
Published: (2011)
by: Tieszen, Richard L., 1951-2017
Published: (2011)
Reductive logic and proof-search : proof theory, semantics, and control /
by: Pym, David J., et al.
Published: (2004)
by: Pym, David J., et al.
Published: (2004)
Mathematical logic /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (2001)
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (2001)
Gödel's way : exploits into an undecidable world /
by: Chaitin, Gregory J.
Published: (2012)
by: Chaitin, Gregory J.
Published: (2012)
Proof theory /
by: Takeuti, Gaisi, 1926-2017
Published: (1975)
by: Takeuti, Gaisi, 1926-2017
Published: (1975)
Mathematical logic /
by: Turing, Alan, 1912-1954
Published: (2001)
by: Turing, Alan, 1912-1954
Published: (2001)
An atlas of the smaller maps in orientable and nonorientable surfaces /
by: Jackson, D. M.
Published: (2001)
by: Jackson, D. M.
Published: (2001)
Architecture of mathematics /
by: Serovajsky, Simon
Published: (2021)
by: Serovajsky, Simon
Published: (2021)
The many valued and non-monotonic turn in logic /
Published: (2007)
Published: (2007)
An elementary transition to abstract mathematics /
by: Effinger, Gove W., et al.
Published: (2020)
by: Effinger, Gove W., et al.
Published: (2020)
Fuzzy logic and mathematics : a historical perspective /
by: Bělohlávek, Radim
Published: (2017)
by: Bělohlávek, Radim
Published: (2017)