Vvedenije v matematičeskuju logiku - Mendelson, Elliot (Moskva : Nauka, 1976)
Keywords: matematická logika; základy