Came here to say the same thing. The other books in the series are pretty good too. E.g. The Little Prover https://mitpress.mit.edu/9780262527958/the-little-prover/ and The Little Typer https://mitpress.mit.edu/9780262536431/the-little-typer/
Also recommended in this reply