TY - BOOK AU - Kleene, Stephen Cole TI - Mathematical Logic U1 - 512.164 PY - 1967/// CY - New York PB - John Wiley & Sons, Inc KW - Mathematics N1 - 1 Book in ML and 1 Book in CL ER -