Books: Logic foundations of mathematics and computability theory (sorted by popularity)