This book introduces the reader to the mathematical core of intuitionism and to the two central topics of 'formalized intuitionism'. It proposes a systematic philosophical foundation for intuitionism that weaves together doctrines about human grasp, mathematical objects and mathematical truth.
