Books of Jim Henle
Myra M. Sampson Professor (Emeritus) Department of Mathematics and Statistics The Logic Program (also emeritus) Smith College