Mathematical thought - Beth, Evert W. (Reidel, 1965)