100 mathematical proof - Garnier, Rowan; Taylor, John 1957-. (Chichester Wiley, 1996)
Keywords: Proof theory; Logic, Symbolic and mathematical