Theorem Proving and Algebra
Joseph A. Goguen
Wuthering Heights
Emily Brontë & Richard J. Dunn
Deep Reinforcement Learning Hands-On
Maxim Lapan
Heretics of Dune
Frank Herbert
Dune (5)
The Wee Free Men
Terry Pratchett
Discworld (30)