MIT Press Booksale
Published . Tags: books, boston, computer-science.
Yesterday was the MIT Press’ Loading Dock Sale, where a dedicated book-scrounger can find some pretty wonderful deals.
Behold, my mighty haul:
- Sterling & Shapiro, The Art of Prolog
- Bergadano & Gunetti, Inductive Logic Programming
- Friedman & Felleisen, The Seasoned Schemer
- Gunter, Semantics of Programming Languages
- Forbus & De Kleer, Building Problem Solvers
- Winsky, The Formal Semantics of Programming Languages
- Sestoft, Java Precisely
- Anderson, An Introduction to Neural Networks
- Minsky & Papert, Perceptrons
I also picked up a dozen or so other, less CS-ful books.1 There are some busy months of reading ahead of me.
I’m especially excited to read those first two books on logic programming; I’ve played with Prolog here and there, but I’ve never really done a deep dive into it. According to Joe Armstrong, Prolog was one of the main inspirations for Erlang2, so I’m looking forward to contrasting the two.
I’m also looking forward to The Seasoned Schemer. I really enjoyed taking 6.S184 at MIT this winter, and I’m curious to see if there’s anything neat in here that SICP doesn’t cover.