Elements of intuitionism (2000)

by M Dummett