Explore Books on
mathématiques intuitionnistes

L' intuitionisme

By Jean Largeault

Automated Deduction in Nonclassical Logics

By Lincoln A. Wallen

A short introduction to intuitionistic logic

By G. E. Mint︠s︡

A short introduction to intuitionistic logic

By Grigori Mints

Constructive mathematics

By Fred Richman