Klasická matematická logika. - Sochor, Antonín (Praha : Karolinum, 2001)
Keywords: logika matematická; učebnice VŠ; učebnice vysokých škôl