3 ms·

https://mitpress.mit.edu/books/little-prover https://mitpress.mit.edu/books/little-prover

• faizshah 7y ago
  Great recommendation, thanks!