Logic for Mathematicians - Barkley Rosser, J (Mcgraw-Hill Book Company New York, 1953)
Keywords: General Stack; Logic, Symbolic and mathematical -- MathematicsLogic -- Mathematics