Logika: neúplnost, složitost a nutnost
(Logic: Incompleteness, Complexity, and Necessity),
Academia Praha, 2002.
A Czech university textbook in logic.
From propositional and predicate logic to metamathematics
of Peano Arithmetic and some non-classical logics, with an emphasis on connections
to theoretical computer science, 464 pages. Includes a section about Gödel-Dummett
fuzzy logic, written by Petr Hajek.