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