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: Λογική, Συμβολική και μαθηματική; Πολυπλοκότητα
• Physical Description: xx, 431 p. 25 cm.
• Bibliography: Includes bibliography and index
• ISBN: 9780198529811