TY - BOOK AU - Kleene Stephen Cole TI - Mathematical logic U1 - R17, K7 PY - 1967/// CY - New York PB - John Wiley & Sons KW - Philosophy KW - Logic-Scientific Method N1 - Reprinted : 2002 ER -