TY - BOOK AU - Kleene, Stephen Cole AU - TI - Mathematical logic U1 - 517.1 PY - 1967/// CY - New York PB - Wiley Eastern KW - Logic KW - Probabilities KW - Mathematical logic ER -