Kleene, Stephen Cole Mathematical logic - New York Dover Publications 2002 - 398 ISBN: 9780486425337 2077.83 Subjects--Topical Terms: Mathematics Dewey Class. No.: 511.3 / KLE