Title: Logic versus Approximation
Subjects: Symbolic and mathematical Logic