Mathematical proof : an elementary approach - Hallerberg, Arthur E., (Arthur Edward), 1918-1978. (New York : Hafner Press, 1974)
1
Keywords: Proof theory