A first course in logic an introduction to model theory, proof theory, computability and complexity

• Main Author: Hedman, Shawn
• Format: Book
• Language: English
• Published: New York Oxford University Press 2004
• Series: Oxford texts in logic 1
• Subjects: Λογική, Συμβολική και μαθηματική; Πολυπλοκότητα