Mathematical logic. - Kleene, Stephen Cole 1909- (New York Wiley, 1967)
Keywords: Mathematics -- Philosophy; Logic, Symbolic and mathematical