Choice sequences: a chapter of intuitionistic mathematics by Troelstra, Anne Sjerp fromOxford logic guides 0 Type: Book
Brouwer's intuitionism by Stigt, Walter P. van fromStudies in the History and Philosophy of Mathematics 0 Type: Book
Intuitionistic type theory: notes by Giovanni Sambin of a series of lectures … by Martin-Löf, Per fromStudies in Proof Theory 0 Type: Book
Musings of the masters: an anthology of mathematical reflections by Ayoub, Raymond G. fromSpectrum series 0 Type: Book
