Doxiadis A., Papadimitriou Ch. Logicomix: An Epic Search for Truth

White Word Publications, 2012. - 187 pages. Accuracy Paradox & Apportionment Paradox All Horses are the Same Color & Infinite Regress Drinker Paradox & Lottery Paradox Paradoxes of Material Implication Raven Paradox Unexpected Hanging Paradox Banach–Tarski Paradox Coastline Paradox & Paradoxical Set Gabriel's Horn & Missing Square Puzzle Smale's Paradox & Hausdorff Paradox...

Springer, 2006. - 260 pages. Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several...

Boston: MIT Press, 2014. — 486 p. Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerful communication between disparate fields and subfields within mathematics. This book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent...