Covering modern mathematical logic from propositional, first-order and infinitary logic and Gödel'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.
Ik heb een vraag over het boek:
‘Fundamentals of Mathematical Logic - Hinman, Peter G. (University of Michigan’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
