Mathematics in Civilization
Sets, Relations and Functions
Logic
Software Engineering
Formal Methods
Z Formal Specification Language
Number Theory
Cryptography
Coding Theory
Language Theory and Semantics
Computability and Decidability
Probability, Statistics and Software Reliability
Matrix Theory
Complex Numbers and Quaternions
Calculus
Graph Theory
"Sinopsis" puede pertenecer a otra edición de este libro.