Foundations Of Set Theory by Y. Bar-Hillel & A.A. Fraenkel