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

Αποτελέσματα
	41.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / by R. L. Goodstein. από Goodstein, R. L. (Reuben Louis) [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1957 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 512.7 GOO. Προσθήκη στο καλάθι (αφαίρεση)
	42.	Elementary induction on abstract structures / Yiannis N. Moschovakis. από Μοσχοβάκης, Γιάννης Ν [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 77. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland 1974 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.352 ΜΟΣ. Προσθήκη στο καλάθι (αφαίρεση)
	43.	Logic Colloquium : proceedings of a conference held in Oxford in July 1976 / edited by R. O. Gandy, J. M. E. Hyland. από Logic Colloquium (1976 : Oxford, England) Gandy, R. O. (Robin O.) [επιμελητής.] Hyland, J. M. E. (John Martin Elliott) [επιμελητής.] Σειρά: Studies in logic and the foundations of mathematics ; 87. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North Holland, 1977 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 LOG. Προσθήκη στο καλάθι (αφαίρεση)
	44.	Abstract set theory / Fraenkel Abraham A. από Fraenkel, Abraham Adolf, 1891-1965 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Έκδοση: 4th, rev. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North - Holland, 1976 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.322 FRA. Προσθήκη στο καλάθι (αφαίρεση)
	45.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc. από Conference on Alternative Semantics (1970 : Temple University) Leblanc, Hugues, 1924- [επιμελητής.] Σειρά: Studies in logic and the foundations of mathematics ; 68. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1973 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 TRU. Προσθήκη στο καλάθι (αφαίρεση)
	46.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 / edited by John N. Crossley. από Summer School in Mathematical Logic (1965 : University of Leicester) Crossley, John N [επιμελητής.] Logic Colloquium (10th : 1965 : University of Leicester) Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1967 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 SUM. Προσθήκη στο καλάθι (αφαίρεση)
	47.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Constructive order types / John N. Crossley. από Crossley, John N [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam ; London : North-Holland, 1969 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 CRO. Προσθήκη στο καλάθι (αφαίρεση)
	48.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη The problem of inductive logic / edited by Imre Lakatos. από International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre [επιμελητής.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam : North Holland, 1968 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 INT. Προσθήκη στο καλάθι (αφαίρεση)
	49.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Constructible sets with applications / A. Mostowski. από Mostowski, Andrzej, 1913-1975 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam : Warszawa : North-Holland ; PWN--Polish Scientific Publishers, 1969 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.322 MOS. Προσθήκη στο καλάθι (αφαίρεση)
	50.	Selected works / Łukasiewicz Jan ; edited by L. Borkowski. από Łukasiewicz, Jan [συγγραφέας.] Borkowski, Ludwik [επιμελητής.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Αγγλικά Original language: Polish Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1970 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 LUK. Προσθήκη στο καλάθι (αφαίρεση)
	51.	Logic in algebraic form : three languages and theories / Craig William. από Craig, William, 1918- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 72. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam : New York : North-Holland ; American Elsevier, 1974 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 CRA. Προσθήκη στο καλάθι (αφαίρεση)
	52.	Non-standard analysis / Robinson Abraham. από Robinson, Abraham, 1918-1974 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Έκδοση: Rev. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1974 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 515 ROB. Προσθήκη στο καλάθι (αφαίρεση)
	53.	Equivalents of the axiom of choice, II / Herman Rubin and Jean E. Rubin. από Rubin, Herman [συγγραφέας.] Rubin, Jean E [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 116. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : North-Holland, 1970-1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.65 RUB, ... Προσθήκη στο καλάθι (αφαίρεση)
	54.	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. Προσθήκη στο καλάθι (αφαίρεση)
	55.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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, Φόρμα επικοινωνίας