Mathematical logic - Kleene, Stephen Cole, 1909-1994. (New York : Wiley, 1967)
Bibliografía: p. 371-386.
MR