I'm a civil engineer that spends all of its free time (with the permission of my wife and my two children) studying set theory and mathematical logic. For instance, I've read and enjoyed "Axiomatic set Theory" by Suppes, Enderton's "Elements of set theory","Mathematical logic" by Shoenfield or "A course in mathematical logic" by Bell and Machover. Now, my goals are the history and the development of these two mathematical branches. In this sense I'm reading "Foundations of Set Theory" by Fraenkel, Bar-hilleil and levy or "Labyrinth of thought" by José Ferreirós and I would like to have in the same line as the above good books in the foundations of mathematical logic.
Thank you in advance