Uvod u matematičku logiku i metodologiju matematike - Tarski, Alfred (Biblioteka Priručnici, 1973)