3 ms·
It's supposed to be the introduction to rigorous proof, so it is supposed to be "the first book on [formal] mathematics" for its audience.
by echion 3y ago
It's supposed to be the introduction to rigorous proof, so it is supposed to be "the first book on [formal] mathematics" for its audience.