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
Θέματα:

ΒΚΠ - Πατρα: BSC

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: BSC
Ταξιθετικός Αριθμός: 511.3 HED
Αντίγραφο 1 Στη βιβλιοθήκη