Reading list: Logic books to read
A queue of books on Mathematical Logic expected to be read.