Logika : neúplnost, složitost a nutnost - Švejdar, Vítězslav, 1954- (Academia, 2002)
Keywords: matematická logika; mathematical logic; příručky; handbooks, manuals, etc