METAMATHEMATICS MACHINES AND GODELS PROOF - Shankar,N. (Cambridge Univ. Press, Cambridge, 1994)
Includes Bibliographical References And Index
Keywords: Metamathematics; Godels Theorem