num_pages: 147
description: 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.
language: English
title: Intuitionism: An introduction
titlecomplete: Intuitionism: An introduction (Studies in logic and the foundations of mathematics)
genres: Philosophy
ratings_count: 5
publisher: North-Holland Pub. Co