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

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

Proof theory and intuitionistic systems /
by: Scarpellini, Bruno
Published: (1971)

Intentional mathematics /
Published: (1985)

Intuitionism : an introduction /
Published: (1956)

Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)

Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings /
Published: (1992)

Intensional mathematics /
Published: (1985)

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

Extensional Godel functional interpretation ; a consistency proof of classical analysis.
by: Luckhardt, Horst
Published: (1973)

Proof theory and intuitionistic systems.
by: Scarpellini, Bruno
Published: (1971)

The axiom of constructibility : a guide for the mathematician /
by: Devlin, Keith J.
Published: (1977)

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)

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

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

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

Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /
Published: (1981)

Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990 /
Published: (1991)

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

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

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

A comprehensive textbook of classical mathematics : a contemporary interpretation /
by: Griffiths, H. Brian (Hubert Brian), et al.
Published: (1970)

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

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

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

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

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

A beginner's guide to finite mathematics : for business, management, and the social sciences /
by: Wallis, W. D.
Published: (2004)

Mathematical modelling of industrial processes : lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bari, Italy, Sept. 24-29, 1990 /
by: Busenberg, Stavros N.
Published: (1992)

First order categorical logic : model-theoretical methods in the theory of topoi and related categories /
by: Makkai, Mihály, 1939-
Published: (1977)

Manuscripta mathematica.

Mathematische Zeitschrift.

Monatshefte für Mathematik.
Published: (1948)

Inventiones mathematicae.
Published: (1966)

Regulators in analysis, geometry, and number theory /
Published: (2000)