Mathematical logic /
Kleene, Stephen Cole,1909-
Mineola, N.Y. : Dover,
2002.
Originally published: New York : Wiley, 1967.
Includes bibliographical references (p. 371-386) and index.
Mathematics
Logic, Symbolic and mathematical.