A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computab
73,95 €
Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory.
Jetzt bei Ebay:
