Vvedenie v matematičeskuju logiku - Mendelson, Elliott (Nauka - Moskva, 1976)
Prijevod djela: INTRODUCTION TO MATHEMATICAL LOGIC