On: Calculus for Beginners and Artists (2003)

[User23]

Good clarification, but I wouldn't say almost nothing. All are formal symbolic reasoning techniques.

For example, The predicate calculus is invaluable for writing correct programs with mind-bogglingly large input domains, such as the set of all C++ programs.