Introduction to proofs in mathematics - Franklin (James William), 1953-; Daoud, Albert Tatar, 1936- (New York Prentice-Hall, 1988)
1
Keywords: Proof theory