Mathematical logic: what has it done for the philosophy of mathematics (1967)

by Georg Kreisel
Venue:philosopher of the century, Allen & Unwin