An introduction to logic programming through Prolog
Michael Spivey
Friday
Robert A. Heinlein
Category Theory for Computing Science
Michael Barr, Charles Wells
Beck v24[MonE]
Unknown
A Finely Tuned Piece
Sephulbadis