Logic and Proof - Bittinger, Marvin L (Addison-Wesley Philippines, 1978)
Keywords: General Stack; Mathematics