Normalization, cut-elimination, and the theory of proofs / A.M. Ungar.

Κατά:

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

ΚείμενοΣειρά: CSLI lecture notes ; 28.Λεπτομέρειες δημοσίευσης: Stanford, CA : CSLI, c1992.Περιγραφή: v, 236 σ. : εικ. ; 24 εκISBN:

Θέμα(τα):

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

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

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

Κοινοποίηση