The Little Learner: A Straight Line to Deep Learning
- Length: 440 pages
- Publication Date: 2023-02-21
The Little Prover
- Length: 248 pages
- Publication Date: 2015-07-10
The Little Typer
- Length: 424 pages
- Publication Date: 2018-09-18
The Reasoned Schemer, 2nd Edition
- Length: 208 pages
- Publication Date: 2018-03-09