2 books • 1 series
Kurt Godel (Lecture Notes in Logic)
In the Light of Logic: Logic and Computation in Philosophy