¡Un viaje guiado por el mundo de las matemáticas abstractas, los teoremas y la redacción de pruebas en 698 páginas!

https://www.math.cmu.edu/~jmackey/151_128/bws_book.pdf