23 treff

constructive mathematics
Essays in constructive mathematics
Harold M. Edwards
Bok Engelsk 2005 · Vis mer
Notes on constructive mathematics
Martin-Löf, Per.
Bok Engelsk 1970 · Vis mer
Studies in constructive mathematics and mathematical logic. 1.

Bok Engelsk 1969 · Vis mer
Studies in constructive mathematics and mathematical logic. 2.

Bok Engelsk 1970 · Vis mer
Foundations of constructive mathematics : metamathematical studies
Michael J. Beeson
Bok Engelsk 1985 · Vis mer
Studies in constructive mathematics and mathematical logic. 3.

Bok Engelsk 1971 · Vis mer
Constructivism in mathematics : an introduction. 1.
Troelstra, A.S.
Bok Engelsk 1988 · Vis mer
Intensional mathematics
edited by Stewart Shapiro
Bok Språk ikke angitt 1985 · Vis mer
Constructive functional analysis
Bridges, Douglas
Bok Engelsk 1979 · Vis mer
Foundations of algorithms
Neapolitan, Richard E.
Bok Engelsk 2011 · Vis mer
Vis flere utgaver
Vis flere utgaver
Constructive measure theory
by Errett Bishop and Henry Cheng
Bok Engelsk 1972 · Vis mer
Phenomenology, logic, and the philosophy of mathematics
Tieszen, Richard L.
Bok Engelsk 2005 · Vis mer
Radical constructivism in mathematics education
edited by Ernst von Glasersfeld
Bok Engelsk 1991 · Vis mer
Constructive Adpositional Grammars : Foundations of Constructive Linguistics
Gobbo, Federico.
Bok Engelsk 2011 · Vis mer
Bounded arithmetic
Samuel R. Buss
Bok Engelsk 1986 · Vis mer
From perturbative to constructive renormalization
Vincent Rivasseau
Bok Engelsk 1991 · Vis mer
Differential and integral : a constructive introduction to classical analysis
Paul Lorenzen ; translated by John Bacon
Bok Engelsk 1971 · Vis mer
Passages à la limite et seuils critiques. Morceaux Choisis/ Selected Papers
Yvon Gauthier.
Bok Fransk 2020 · Vis mer
Studies in the Eighteenth Century Background of Humeâs Empiricism

Bok Engelsk · Vis mer
Bounded arithmetic, propositional logic, and complexity theory
Jan Krajíček
Bok Engelsk 1995 · Vis mer
Fine structure and iteration trees
William J. Mitchell, John R. Steel
Bok Engelsk 1994 · Vis mer
Predicative arithmetic
by Edward Nelson
Bok Engelsk 1986 · Vis mer