TY - `BOOK` AU - Kleene, Stephen Cole TI - Mathematical logic PB - Wiley CY - New York [u.a.] PY - 1967 LA - eng SE - 398 S SN - 0-471-49033-4 SN - 978-0-471-49033-3 CN - 2002 C 3902 CN - <DE> LOG 3 KLE 112/1 CN - Kleen CN - WS/SK 130 K63 AN - UBHD-1027112 ER -