Intuitionism: An Introduction (Study in Logic & Mathematics)

Intuitionistic mathematics involves discerning the truth of a given statement. This high-level introductory treatment assumes a strong mathematical background, bringing readers directly to the center of several different branches of intuitionistic mathematics. The author, a leader in the field of intuitionistic mathematics, employs condensed proofs and presumes a familiarity with classical theories. 1971 edition.