Book: The Undecidable - by Martin Davis

For those interested in undecidability, unsolvability, Gödel's Incompleteness Theorems, recursive functions and so on, I'd like to recommend a newly-available Dover printing of The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions by Prof. Martin Davis [ISBN 0486432289]. It is a nice companion to Davis' Computability and Unsolvability (also Dover).

I've only had a chance to browse my copy, which arrived today, but I'm very excited as I can see it is a great collection into one book of the classic papers from Alonzo Church, Kurt Gödel, Alan Turing, J.B. Rosser, Stephen Kleene, and Emil Post on these topics. There is very little commentary or explanation accompanying the papers, so it is primarily a reference for those interested in going back to first sources and wading through the pages of formal logic rather than a tutorial. Great bedtime reading! :)