Foundations Of The Formal Sciences by S. Bold