TY - BOOK AU - Kleene, Stephen Cole TI - Mathematical logic SN - 9780486425337 SN - 200203482 U1 - 511.3 KLE PY - 2002/// CY - Mineola, NY PB - Dover Publications KW - Logic, Symbolic and mathematical KW - Mathematics - Philosophy N1 - Originally published: New York : Wiley, 1967. Includes bibliographical references (p. 371-386) and index ER -