Foundations of constructive mathematics

Foundations of constructive mathematics / Michael J. Beeson.

Saved in:

Bibliographic Details
Main Author:	Beeson, Michael J., 1945-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1984.
Series:	Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3. Folge, Bd. 6.
Subjects:	Constructive mathematics.

Similar Items

Varieties of constructive mathematics
by: Bridges, D. S. (Douglas S.), 1945-
Published: (1987)

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

Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
Published: (1981)

Constructivism in mathematics : an introduction
by: Troelstra, A. S. (Anne Sjerp)
Published: (1988)

Intensional mathematics
Published: (1985)

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

The foundations of mathematics
by: Stewart, Ian, 1945-, et al.
Published: (2015)

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

Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction
by: Pudlák, Pavel
Published: (2013)

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
Published: (1982)

Foundations without foundationalism : a case for second-order logic
by: Shapiro, Stewart, 1951-
Published: (1991)

Mathematical logic
by: Chiswell, Ian, 1948-
Published: (2007)

Proving in the elementary mathematics classroom
by: Stylianides, Andreas J.
Published: (2016)

Bridge to abstract mathematics
by: Oberste-Vorth, Ralph W., 1959-
Published: (2012)

Reverse mathematics : problems, reductions, and proofs
by: Dzhafarov, Damir D.
Published: (2022)

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

Foundations of mathematics : questions of analysis, geometry & algorithms
by: Engeler, Erwin
Published: (1993)

Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-, et al.
Published: (2021)

The mathematics of logic : a guide to completeness theorems and their applications
by: Kaye, Richard (Richard W.)
Published: (2007)

Handbook of Mathematical Logic.
by: Barwise, Jon
Published: (1989)

Handbook of Mathematical Induction.
by: Gunderson, David S.
Published: (2014)

Mathematics, logic, and their philosophies : essays in honour of Mohammad Ardeshir
Published: (2021)

Essays in the philosophy and history of logic and mathematics
by: Murawski, Roman
Published: (2010)

Advances in experimental philosophy of logic and mathematics
Published: (2019)

Mathematical logic in the 20th century
Published: (2003)

Philosophy of mathematics in the twentieth century : selected essays
by: Parsons, Charles, 1933-
Published: (2014)

Introduction to Mathematical Structures and Proofs.
by: Banchoff, Thomas F.
Published: (1996)

Fuzzy logic and mathematics : a historical perspective
by: Bělohlávek, Radim
Published: (2017)

Logic and Discrete Mathematics A Concise Introduction.
by: Conradie, Willem
Published: (2015)

Methods and Applications of Mathematical Logic.
by: Carnielli, Walter A.
Published: (1988)

An Elementary Transition to Abstract Mathematics
by: Effinger, Gove
Published: (2019)

Mathematical reasoning : the history and impact of the DReaM group
Published: (2021)

Twenty Five Years of Constructive Type Theory.
by: Sambin, Giovanni
Published: (1998)

Logic and Discrete Mathematics A Concise Introduction, Solutions Manual.
by: Conradie, Willem
Published: (2015)

Concepts of proof in mathematics, philosophy, and computer science
Published: (2016)

A tour through mathematical logic
by: Wolf, Robert S.
Published: (2005)

Ultrafilters across Mathematics.
by: Bergelson, Vitaly
Published: (2010)

Constructibility and mathematical existence.
by: Chihara, Charles S., 1932-
Published: (1991)

Mathematical logic : exercises and solutions
by: Csirmaz, László, et al.
Published: (2022)

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
Published: (1985)