Logic: a dialogue - Bierman, A. K., 1923-Arthur Kalmer (Holden-Day, 1964)