Church, Alonzo
Introduction to mathematical logic
by Alonzo Church
- Princeton, N.J Princeton University Press 1956 (1996 printing)
- ix,378 p. ; 24 cm
Includes index
9780691029061
Logic, Symbolic and mathematical
Logic, Symbolic and mathematical -- Problems, exercises, etc
511.3 CHU