Notes on logic - Lyndon, Roger C. (Princeton, N.J. Van Nostrand, 1966)
Keywords: Logic, Symbolic and mathematical