An introduction to mathematical reasining numbers, sets and functions - Eccles, Peter J. (Cambridge Cambridge Univesity Press, 1997)
Includes Bibliographical References And Index
Keywords: Proof Theory