Filter

Constructive Mathematics

94 books found

Investigating Mathematics Teaching
Investigating Mathematics Teaching

by Barbara Jaworski

1994 9 ed.
The incompleteness phenomenon
The incompleteness phenomenon

by Martin Goldstern

1995 6 ed.
Logical Foundations of Proof Complexity
Logical Foundations of Proof Complexity

by Stephen Cook

2010 5 ed.
Essays in Constructive Mathematics
Essays in Constructive Mathematics

by Harold M. Edwards

2004 4 ed.
Fine Structure and Iteration Trees
Fine Structure and Iteration Trees

by William J. Mitchell, John R. Steel

1994 4 ed.
Studies in constructive mathematics and mathematical logic
Studies in constructive mathematics and mathematical logic

by A. O. Slisenko

1969 4 ed.
Predicative Arithmetic. (MN-32)
Predicative Arithmetic. (MN-32)

by Edward Nelson

1986 4 ed.
From sets and types to topology and analysis
From sets and types to topology and analysis

by Peter Schuster

2005 4 ed.
Constructibility and mathematical existence
Constructibility and mathematical existence

by Charles S. Chihara

1990 3 ed.
Foundational Theories of Classical and Constructive Mathematics
Foundational Theories of Classical and Constructive Mathemat...

by Giovanni Sommaruga

2011 3 ed.
Problems in the constructive trend in mathematics
Problems in the constructive trend in mathematics

by V. P. Orevkov

1970 3 ed.
Constructive models
Constructive models

by I͡Uriĭ Leonidovich Ershov, Yuri L. Ershov

2000 3 ed.
Constructive Mathematics
Constructive Mathematics

by F. Richman

1981 2 ed.
Foundations of algorithms
Foundations of algorithms

by Richard E. Neapolitan

1996 2 ed.
Foundations of algorithms using C++ pseudocode
Foundations of algorithms using C++ pseudocode

by Richard E. Neapolitan

1998 2 ed.
Foundations of Constructive Probability Theory
Foundations of Constructive Probability Theory

by Yuen-Kwok Chan

2021 2 ed.
Foundations of algorithms
Foundations of algorithms

by Richard E. Neapolitan

2011 2 ed.
Radical Constructivism in Mathematics Education
Radical Constructivism in Mathematics Education

by E. Glasersfeld

2006 2 ed.
Intensional mathematics
Intensional mathematics

by Stewart Shapiro

1985 2 ed.
Foundations of Algorithms
Foundations of Algorithms

by Richard Neapolitan

2014 2 ed.