Kleene and Vesley (1965) is the classic American introduction to intuitionist logic and mathematics.
Kleene și Vesley (1965) este un manual clasic de introducere în logica intuiționistă⁠(d) și matematică⁠(d) în Statele Unite.