Introduction to metamathematics - Kleene, Stephen Cole (Amsterdam : North Holland, 1952)
Bibliografía, p. 517-537
Keywords: MATEMATICAS