Title: Frege & Godel
Subjects: Logic, symbolic and mathematical