MATHEMATICAL LOGIC - Kleene, Stephen Cole (New York Wiley, 1967)
Bibliography : P. 371-386
Keywords: Mathematics -- Philosophy; Logic, Symbolic And Mathematical