Proof in mathematics : an introduction - Franklin, James; Daoud, Albert (Australia : Quakers Hill Press, 1996)
Keywords: Logic, Symbolic and mathematical; Proof theory