Abstract
Advanced textbook on central logic, dedicated to readers with mathematical background.Stress is put on connections to theoretical computer science, Goedel incompleteness theorems, and some non-classical logics. With a section about Goedel fuzzy logic written by Petr Hájek.