Structural proof theory /
Main Author: | |
---|---|
Other Authors: | , |
Format: | Book |
Language: | English |
Published: |
Cambridge :
University Press,
c2001
|
Subjects: |
Βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός Αντιτύπων | Πληροφορίες | Κατάσταση |
---|---|---|---|---|
Εθνικό Μετσόβιο Πολυτεχνείο | 511.3 NEG | 1 | Προβολή | OPAC |
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών | 511.3 NegS s 2001 | 1 | Προβολή | OPAC |
Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο Κύπρου | QA9.54.N44 2001 | 1 | Προβολή | OPAC |