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

• Κύριος συγγραφέας: Hedman, Shawn
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York Oxford University Press 2004
• Σειρά: Oxford texts in logic 1
• Θέματα: Λογική, Συμβολική και μαθηματική; Πολυπλοκότητα
• Φυσική περιγραφή: xx, 431 p. 25 cm.
• Βιβλιογραφία: Includes bibliography and index
• ISBN: 9780198529811