1. Vol. I: The search for system. Vol. II: The search for truth;M Bunge,1967
2. Bunge, M.: Foundations of Physics. Berlin-Heidelberg-New York: Springer 1967.
3. Carnap, R.: Introduction to symbolic logic and its applications. New York: Dover 1958.
4. Henkin, L., P. Suppes, and A. Tarski (Eds.): The axiomatic method. Amsterdam: North-Holland 1959.
5. Stoll, R. R.: Set theory and logic. San Francisco and London: W. H. Freeman and Co. 1963.