9780198529811 - a first course in logic : an introduction to model theory, proof theory, computability, and complexity: an introduction to model theory, proof theory, ... complexity (oxford texts in logic, band 1) von hedman, shawn (2 Ergebnisse)

Zustand: New. 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. Extremely clear, thorough and accurate, this text is ideal for a first or ref…