Conjecture & proof : an introduction to mathematical thinking /
Schwartz, Diane Driscoll.
Fort Worth, Tex. ; London : Saunders College,
c1997.
Mathematics.
Logic, Symbolic and mathematical.
ISETL (Computer program language)