Aunque no trata de álgebra lineal directamente, este libro explora los fundamentos lógicos y las estructuras abstractas inherentes a las matemáticas de una manera que un matemático aprecia, al igual que el álgebra lineal se apoya en axiomas y estructuras abstractas. La conexión radica en la meta-comprensión de los sistemas formales.










