Kleene, Stephen Cole Mathematical logic Mineola, New York : Dover Publications 2002. xiii, 398 p. -- (Dover Books on Mathematics) QA9 K652 2002