An Invitation to Formal Reasoning: The Logic of Terms
George Englebretsen & Fred Sommers
The Mathematica® Book
Stephen Wolfram
Trees and Proximity Representations
Jean-Pierre Barthélemy & Alain Guénoche
Mathematical Reasoning Proofs [Lecture notes]
Alistair Savage
Mathematical Applications for the Management, Life, and Social ...
Ronald J. Harshbarger & James J. Reynolds
Hitler's Espionage Machine
Christer Jörgensen