Logic Matters - Geach, Peter Thomas (University of California)