The Art of Logic - Eugenia Cheng

For thousands of years, mathematicians have used the timeless art of logic to see the world more…