Explore Books on
intuitionistic mathematics

Leo Esakia on Duality in Modal and Intuitionistic Logics

By Guram Bezhanishvili

Intuitionism

By A. Heyting

Mathematische Grundlagenforschung

By A. Heyting

Proof theory and intuitionistic systems

By Bruno Scarpellini

Intuitionism

By Arend Heyting

Absoluteness of intuitionistic logic

By Daniel Maurice Raphaël Leivant

L' intuitionisme

By Jean Largeault

Automated proof search in non-classicallogics

By Lincoln A. Wallen

The foundations of intuitionistic mathematics

By Stephen Cole Kleene

Intuitionism and proof theory

By Conference on Intuitionism and Proof Theory (1968 State University of New York at Buffalo)

Constructive Mathematics

By F. Richman

Brouwer meets Husserl

By Mark van Atten

Gnomes in the Fog

By Dennis E. Hesseling

Projections of Lawless Sequences

By G. F. van der Hoeven

Principles of intuitionism

By A. S. Troelstra

Novel Developments in Uncertainty Representation and Processing

By Krassimir T. Atanassov,Oscar Castillo,Janusz Kacprzyk,Maciej Krawczak,Patricia Melin

Mathematical Intuitionism and Intersubjectivity

By Tomasz Placek

Extensional Gödel functional interpretation

By Horst Luckhardt

Where is the Gödel-point hiding

By Anna Horská

Intuitionistic Fuzzy Calculus

By Qian Lei,Zeshui Xu

Principles of Intuitionism

By Anne S. Troelstra

Intuitionistic Proof Versus Classical Truth

By Enrico Martino

Intuition and the axiomatic method

By Renate Huber

Proof Methods For Modal And Intuitionistic Logics

By Melvin Fitting