Frege (logic, theorem, and foundations for arithmetic (2003)

by E Zalta