Basic proof theory / A.S. Troelstra, H. Schwichtenberg.

Κατά:

Συντελεστής(ές):

Τύπος υλικού:

ΚείμενοΣειρά: Cambridge tracts in theoretical computer scienceΛεπτομέρειες δημοσίευσης: Cambridge ; New York : Cambridge University Press, 2000.Έκδοση: 2nd edΠεριγραφή: xii, 417 σ. : εικ. ; 23 εκISBN:

Θέμα(τα):

Ταξινόμηση DDC:

Αντίτυπα
Τύπος τεκμηρίου	Τρέχουσα βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός αντιτύπου	Κατάσταση	Ημερομηνία λήξης	Ραβδοκώδικας
Book [21]	ΒΚΠ - Πατρα Αποθήκη 2.10	511.3 TRO (Περιήγηση στο ράφι(Άνοιγμα παρακάτω))	1	Διαθέσιμο		025000282028

Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.

Κοινοποίηση