Metamathematical investigation of intuitionistic arithmetic and analysis /

Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /
by: Wallen, Lincoln A.
Published: (1990)

The foundations of intuitionistic mathematics /
Published: (1965)

Intuitionistic fuzzy measures : theory and applications /
by: Ban, Adrian I.
Published: (2006)

Choice sequences : a chapter of intuitionistic mathematics /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1977)

A short introduction to intuitionistic logic /
by: Mint͡s, G. E.
Published: (2000)

Semantical investigations in Heyting's intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (1981)

On Skolem and Herbrand theorems for intuitionistic logic.
by: Jervell, Herman Ruge
Published: (1972)

Craig's interpolation theorem for the intuitionistic logic of constant domains /
by: Jervell, Herman Ruge
Published: (1971)

Principles of intuitionism /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1969)

Semantical investigations in Heyting's intuitionistic logic /
by: Gabbay, Dov M., 1945-
Published: (1981)

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

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

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies /
Published: (1981)

Proof theory : an introduction /
by: Pohlers, Wolfram
Published: (1989)

Intuitionism : an introduction /
Published: (1966)

Tableau systems for first order number theory and certain higher order theories /
by: Toledo, Sue Ann, 1940-
Published: (1975)

Elements of intuitionism.
by: Dummett, Michael, 1925-2011
Published: (2000)

Brouwer's Cambridge lectures on intuitionism /
by: Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966
Published: (1981)

Elements of intuitionism /
by: Dummett, Michael, 1925-2011
Published: (1977)

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

Proof theory : an introduction /
by: Pohlers, Wolfram
Published: (1989)

Intuitionistic logic, model theory and forcing.
by: Fitting, Melvin, 1942-
Published: (1969)

Arithmetic, proof theory, and computational complexity /
Published: (1993)

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
Published: (1980)

Forcing, arithmetic, division rings /
by: Hirschfeld, Joram
Published: (1975)

Transition to analysis with proof /
by: Krantz, Steven G.
Published: (2018)

ISILC Proof Theory Symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)

Forcing, arithmetic, division rings /
by: Hirschfeld, Joram
Published: (1975)

Arithmetic, proof theory, and computational complexity /
Published: (2023)

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies /
Published: (1981)

Introduction to model theory and to the metamathematics of algebra.
by: Robinson, Abraham, 1918-1974
Published: (1963)

Intensional mathematics /
Published: (1985)

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

Transition to analysis with proof /
by: Krantz, Steven G. (Steven George), 1951-
Published: (2018)

Mathematical analysis and proof /
by: Stirling, David S. G., 1947-
Published: (2009)