Covering 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 a...
prečítať celé
Covering 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 a reference on the state of modern logic.
Skryť popis