\nCovering modern mathematical logic from propositional, first-order and infinitary logic and Goedel\'s Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. The book is appropriate for use as a classroom text, for self-study, and as... prečítať celé