you are missing:

"A Shorter Model Theory" by Hodges

"Reinforcement Learning: An Introduction" by Sutton and Barto

"Neuro-Dynamic Programming" by Bertsekas and Tsitsiklis

"Set Theory An Introduction To Independence Proofs" by Kunen

"Naive Set Theory" by Halmos