Mathematical logic - Shoenfield, Joseph R. (New York: CRC Press, 1967)
Includes index.
Keywords: MATHEMATICAL LOGIC; SYMBOLIC LOGIC