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

Αποτελέσματα
	21.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel / Andrzej Mostowski. από Mostowski, Andrzej [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1964 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 MOS. Προσθήκη στο καλάθι (αφαίρεση)
	22.	Mathematical logic and foundations of set theory : proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 / edited by Yehoshua Bar-Hillel. από International Colloquium on Mathematical Logic and Foundations of Set Theory Jerusalem) (1968 Bar-Hiller, Yehoshua [επιμελητής.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1970 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 INT. Προσθήκη στο καλάθι (αφαίρεση)
	23.	Algebra of proofs / M. E. Szabo. από Szabo, M. E [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam ; North-Holland, 1978 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.360 285 63 SZA. Προσθήκη στο καλάθι (αφαίρεση)
	24.	Mathematical interpretation of formal systems / Th. Skolem...[et.al.]. από Skolem, Th. (Thoralf), 1887-1963 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1971 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 MAT. Προσθήκη στο καλάθι (αφαίρεση)
	25.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Solvable cases of the decision problem / W. Ackermann. από Ackermann, W. (Wilhelm), 1896- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1954 [3rd printing 1968] Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 ACK. Προσθήκη στο καλάθι (αφαίρεση)
	26.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Languages with expressions of infinite length / Carol R. Karp. από Karp, Carol, 1926-1972 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1964 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 KAR. Προσθήκη στο καλάθι (αφαίρεση)
	27.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Recursive analysis / R. L. Goodstein. από Goodstein, R. L. (Reuben Louis) [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1961 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.35 GOO. Προσθήκη στο καλάθι (αφαίρεση)
	28.	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 ΜΟΣ. Προσθήκη στο καλάθι (αφαίρεση)
	29.	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. Προσθήκη στο καλάθι (αφαίρεση)
	30.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	31.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	32.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	33.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	34.	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. Προσθήκη στο καλάθι (αφαίρεση)
	35.	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. Προσθήκη στο καλάθι (αφαίρεση)
	36.	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. Προσθήκη στο καλάθι (αφαίρεση)
	37.	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. Προσθήκη στο καλάθι (αφαίρεση)
	38.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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, Φόρμα επικοινωνίας