Systems of logic - Martin, Norman M. (Cambridge Cambridge University Press, 1989)
Keywords: Logic, Symbolic and mathematical