1958413
9780198529811
Based on the author's teaching notes, this text covers the fundamental topics in classical logic in a clear and thorough style. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory and model theory, it also contains carefully graded exercises.Hedman, Shawn is the author of 'First Course In Logic An Introduction To Model Theory, Proof Theory, Computability, And Complexity', published 2004 under ISBN 9780198529811 and ISBN 0198529813.
[read more]