Symbolic Logic - Copi, Irving M (Prentice-Hall of India New Delhi, 1979)
Keywords: General stack; Logic, Symbolic and mathematical -- LogicMathematics