~ gathering this author’s shelf ~
Workshop on Logic and Computation (1987 Carnegie Mellon University) — books and series — OmList