Introduction to mathematical logic - Mendelson, Elliott, 1931- (Boca Raton : CRC Press/Taylor & Francis Group, 2015)
Keywords: matematická logika; symbolická logika; mathematical logic; symbolic logic; učebnice vysokých škol; textbooks (higher)