A course in mathematical logic for mathematicians - Manin, Jurij Ivanovič, 1937-; Zilber, Boris, 1949-; Koblitz, Neal, 1948- (New York : Springer, 2010)
Keywords: matematická logika; mathematical logic; učebnice; textbooks