Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
Volume 1, Mathematical Logic
Omschrijving
This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.
Ik heb een vraag over het boek:
‘Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Tourlakis, George (York University’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
