Basic proof theory /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Troelstra, A. S. (Anne Sjerp) (συγγραφέας.)
Άλλοι συγγραφείς: Schwichtenberg, Helmut, 1942- (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge : Cambridge University Press, 1996.
Σειρά:Cambridge tracts in theoretical computer science 43.
Θέματα:

ΒΚΠ - Πατρα: ALFf

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

ΒΚΠ - Πατρα: BSC

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