Mathematical Logic - Shoenfield J R (London Addison-Wesley, 1967)
Keywords: Mathematical Logic; Symbolic