Η αναζήτηση επέστρεψε 2 αποτελέσματα.

Αποτελέσματα
	1.	Semantics and logics of computation edited by Andrew M. Pitts, Peter Dybjer από Pitts, A. M. (Andrew M.) [edt] Dybjer, Peter [edt] Σειρά: Publications of the Newton Institute ; 14 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.151 P. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 / edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts. από LMS Durham Symposium (1991 : University of Durham) Fourman, M. P, 1950- [επιμελητής.] Johnstone, P. T [επιμελητής.] Pitts, A. M. (Andrew M.) [επιμελητής.] Σειρά: London Mathematical Society lecture note series ; 177. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge ; New York : Cambridge University Press, 1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.015 113 LMS. Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας