A mathematical introduction to logic - Enderton, Herbert B. (San Diego, CA : Academic Press, 2001)
1 3
Keywords: Logic, Symbolic and mathematical