Intuitionism an introduction
Heyting, Arend.

1956