In the light of logic (1998)

by S Feferman
Venue:Logic and Computation in Philosophy