Constructivism in mathematics : an introduction /

Foundations of constructive mathematics : metamathematical studies /
by: Beeson, Michael J., 1945-
Published: (1985)

Intensional mathematics /
Published: (1985)

Intentional mathematics /
Published: (1985)

Basic proof theory /
by: Troelstra, A. S. (Anne Sjerp)
Published: (2000)

Essays in constructive mathematics /
by: Edwards, Harold M.
Published: (2005)

Positive topology : a new practice in constructive mathematics /
by: Sambin, Giovanni
Published: (2025)

Radical constructivism in mathematics education /
Published: (2002)

From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /
Published: (2005)

An introduction to mathematical proofs /
by: Loehr, Nicholas A.
Published: (2020)

Introduction to the foundations of mathematics.
by: Wilder, Raymond Louis, 1896-1982
Published: (1952)

An introduction to mathematical thought.
by: Stabler, Edward Russell, 1906-
Published: (1953)

Mathematical thought ; an introduction to the philosophy of mathematics /
by: Beth, Evert Willem
Published: (1965)

Introduction to mathematical proofs /
by: Roberts, Charles
Published: (2014)

The philosophy of mathematics : an introduction.
by: Körner, Stephan, 1913-
Published: (1962)

Predicative arithmetic /
by: Nelson, Edward, 1932-
Published: (1986)

Introduction to mathematical philosophy /
by: Russell, Bertrand, 1872-1970
Published: (1919)

Mathematical logic : an introduction to model theory /
by: Lightstone, A. H.
Published: (1978)

A readable introduction to real mathematics /
by: Rosenthal, Daniel, et al.
Published: (2014)

An introduction to the foundations and fundamental concepts of mathematics /
by: Eves, Howard, 1911-2004
Published: (1958)

An introduction to the foundations and fundamental concepts of mathematics /
by: Eves, Howard, 1911-2004
Published: (1965)

Introduction to mathematical logic /
by: Mendelson, Elliott
Published: (2010)

An introduction to mathematical logic /
by: Robison, Gerson B., 1909-
Published: (1969)

Introduction to mathematical logic.
by: Mendelson, Elliott
Published: (1979)

Fine structure and iteration trees /
by: Mitchell, William J.
Published: (1994)

Mathematical intuitionism : introduction to proof theory /
by: Dragalin, Alʹbert Grigorʹevich
Published: (1988)

Mathematical logic and the foundations of mathematics ; an introductory survey.
by: Kneebone, G. T.
Published: (1963)

Mathematical thought ; : an introduction to the philosophy of mathematics /
by: Beth, Evert Willem
Published: (1965)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (2001)

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-, et al.
Published: (2015)

Introduction to mathematical proofs /
by: Roberts, Charles
Published: (2014)

Introduction to the foundations of mathematics [by] Raymond L. Wilder.
by: Wilder, Raymond Louis, 1896-1982
Published: (1965)

Introduction to mathematical thinking : the formation of concepts in modern mathematics /
by: Waismann, Friedrich
Published: (1959)

Introduction to mathematics of satisfiability /
by: Marek, Wiktor
Published: (2009)

The anatomy of mathematics /
by: Kershner, R. B. (Richard Brandon), 1913-1982
Published: (1974)

Architecture of mathematics /
by: Serovajsky, Simon
Published: (2021)

The philosophy of mathematics.
by: Maziarz, Edward A.
Published: (1950)