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

Αποτελέσματα
	61.	Proof theory / Gaisi Takeuti. από Takeuti, Gaisi, 1926- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 81. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.36 TAK. Προσθήκη στο καλάθι (αφαίρεση)
	62.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Elements of mathematical logic : (model theory) / G. Kreisel and J. L. Krivine. από Kreisel, Georg [συγγραφέας.] Krivine, J. L. (Jean Louis) [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Αγγλικά Original language: Ακαθόριστο Λεπτομέρειες δημοσίευσης: Amsterdam : North Holland, 1967 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 KRE. Προσθήκη στο καλάθι (αφαίρεση)

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