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

Αποτελέσματα
	81.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann. από Hermes, Hans [συγγραφέας.] Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 127. Έκδοση: 2d rev. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Αγγλικά Original language: German Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, 1969 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.352 HER, ... Προσθήκη στο καλάθι (αφαίρεση)
	82.	Proof theory and intuitionistic systems / Scarpellini Bruno. από Scarpellini, Bruno [συγγραφέας.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 212. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1971 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.36 SCA. Προσθήκη στο καλάθι (αφαίρεση)
	83.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Büchi's monadic second order successor arithmetic / Siefkes Dirk. από Siefkes, Dirk [συγγραφέας.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 120. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1970 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 SIE. Προσθήκη στο καλάθι (αφαίρεση)
	84.	Conference in Mathematical Logic, London '70 / edited by Wilfrid Hodges. από Conference in Mathematical Logic Bedford College) (1970 Hodges, Wilfrid [επιμελητής.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 255. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1972 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 CON. Προσθήκη στο καλάθι (αφαίρεση)
	85.	Extensional Gödel functional interpretation : a consistency proof of classical analysis / Luckhardt Horst. από Luckhardt, Horst [συγγραφέας.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 306. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1973 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.36 LUC. Προσθήκη στο καλάθι (αφαίρεση)
	86.	The monadic second order theory of all countable ordinals / J. Richard Büchi, Dirk Siefkes. από Büchi, J. Richard [συγγραφέας.] Siefkes, Dirk [συγγραφέας.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 328. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, 1973 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 BUC. Προσθήκη στο καλάθι (αφαίρεση)
	87.	Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.). από Troelstra, A. S. (Anne Sjerp) [επιμελητής.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 344. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; Heidelberg ; New York : Springer, 1973 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.36 MET, ... Προσθήκη στο καλάθι (αφαίρεση)
	88.	ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G. H. Müller, A. Oberschelp, K. Potthoff. από International Summer Institute and Logic Colloquium (1974 : University of Kiel) Müller, G. H. (Gert Heinz), 1923- [επιμελητής.] Oberschelp, Arnold [επιμελητής.] Potthoff, Karl [επιμελητής.] Σειρά: Lecture notes in mathematics (Springer-Verlag) Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Αγγλικά, French Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1975 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 INT. Προσθήκη στο καλάθι (αφαίρεση)
	89.	Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 / edited by M.M. Richter...[et.al.]. από Proceedings of the Logic Colloquium (1983 : Aachen) Richter, Michael M, 1938- [επιμελητής.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 1103-1104. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 PRO. Προσθήκη στο καλάθι (αφαίρεση)
	90.	Logic Colloquium : Symposium on Logic Held at Boston, 1972-73 / edited by R. Parikh. από Symposium on Logic Boston) (1972-1973 Parikh, Rohit, 1936- [συγγραφέας.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 453. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1975 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 SYM. Προσθήκη στο καλάθι (αφαίρεση)
	91.	ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G. H. Müller. από ISILC Proof Theory Symposion (1974 : University of Kiel) Schütte, K. (Kurt) [συγγραφέας.] Diller, Justus [επιμελητής.] Müller, G. H. (Gert Heinz), 1923- [επιμελητής.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 500. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο τιμητική έκδοση ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Αγγλικά, German Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1975 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.36 ISI. Προσθήκη στο καλάθι (αφαίρεση)
	92.	Logic : techniques of formal reasoning / Donald Kalish, Richard Montague, Gary Mar ; under the general editorship of Robert J. Fogelin. από Kalish, Donald [συγγραφέας.] Montague, Richard [συγγραφέας.] Mar, Gary [συγγραφέας.] Fogelin, Robert J [επιμελητής.] Έκδοση: 2η έκδ. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Γενικό; Λεπτομέρειες δημοσίευσης: New York : Oxford University Press, 1980 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 KAL. Προσθήκη στο καλάθι (αφαίρεση)
	93.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Logische Syntax der Sprache / von Rudolf Carnap από Carnap, Rudolf, 1891-1970 [συγγραφέας.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Γενικό; Λεπτομέρειες δημοσίευσης: Wien ; New York : Springer-Verlag, 1968 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 160 CAR. Προσθήκη στο καλάθι (αφαίρεση)
	94.	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. Προσθήκη στο καλάθι (αφαίρεση)
	95.	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. Προσθήκη στο καλάθι (αφαίρεση)

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