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

Αποτελέσματα
	1.	Normalization, cut-elimination, and the theory of proofs / A.M. Ungar. από Ungar, A. M. (Anthony M.), 1945- [συγγραφέας.] Σειρά: CSLI lecture notes ; 28. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Stanford, CA : CSLI, c1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 UNG. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Interpreting Davidson / edited by Petr Kotatko, Peter Pagin, Gabriel Segal. από Kotatko, Petr [επιμελητής] Pagin, Peter, 1953- [επιμελητής] Segal, Gabriel [επιμελητής] Σειρά: CSLI lecture notes ; v. 129 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Ειδικευμένο; Λεπτομέρειες δημοσίευσης: Stanford, Calif. : CSLI Publications, c2001 Ηλεκτρονική πρόσβαση: Publisher description Contributor biographical information Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φιλοσοφίας (1)Ταξιθετικός αριθμός: 191 INT. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Reference and the rational mind / Kenneth A. Taylor. από Taylor, Kenneth Allen, 1954- [συγγραφέας] Σειρά: CSLI lecture notes ; v. 153 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Ειδικευμένο; Λεπτομέρειες δημοσίευσης: Stanford, Calif. : CSLI Publications, c2003 Ηλεκτρονική πρόσβαση: Publisher description Table of contents Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φιλοσοφίας (1)Ταξιθετικός αριθμός: 121.68 TAY. Προσθήκη στο καλάθι (αφαίρεση)

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