Title: Programming Logic
Subjects: New York Times reviewed, Logic, symbolic and mathematical