LOGIC - Bierman, Arthur Kalmer (San Francisco Holden-Day, 1964)
Keywords: Logic