Mathematical logic - Kleene, Stephen Cole, 1909- (New York John Wiley & Sons, 1967)
Bibliography : p. 371-386.
Keywords: Mathematics -- Philosophy; Logic, Symbolic and mathematical