Βελτιώστε την αναζήτησή σας

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

Ταξινόμηση
Αποτελέσματα
61.
Mathematical interpretation of formal systems / Th. Skolem...[et.al.]. από
  • Skolem, Th. (Thoralf), 1887-1963 [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1955
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 MAT.
62.
Ordinal algebras / Tarski Alfred ; with appendices by Chen-Chung Chang and Bjarni Jónsson. από
  • Tarski, Alfred [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1956
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 TAR.
63.
Aristotle's modal syllogisms / Storrs McCall. από
  • McCall, Storrs [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1963
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 166 McC.
64.
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.
65.
Toward a systematic pragmatics / by R. M. Martin. από
  • Martin, R. M. (Richard Milton), 1916- [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North - Holland, 1959
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 144.3 MAR.
66.
Complete theories / Abraham Robinson. από
  • Robinson, Abraham, 1918-1974 [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1956
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 512 ROB.
67.
Handbook of numerical analysis / general editors P. G. Ciarlet, J. L. Lions. από
  • Ciarlet, Philippe G [επιμελητής.]
  • Lions, J.-L. (Jacques-Louis), 1928-2001 [επιμελητής.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Γενικό;
Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 1990-1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (6)Ταξιθετικός αριθμός: Π 518 HAN, ... Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (7)Ταξιθετικός αριθμός: Π 518 HAN, ...
68.
Elsevier' s dictionary of environmental hydrogeology : in english, french and german / compiled by Hans - Olaf Pfannkuch, από
  • Pfannkuch, Hans-Olaf [com]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π 551.480 3 ELS.
69.
Handbook on the physics and chemistry of rare earths / editors Karl A. Gschneidner, LeRoy Eyring. από
  • Gschneidner, Karl A [επιμελητής.]
  • Eyring, LeRoy [επιμελητής.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Γενικό;
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland Physics, 1979-1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (24)Ταξιθετικός αριθμός: Π 546.41 HAN, ...
70.
Model theory / C. C. Chang and H. J. Keisler. από
  • Chang, Chin-Chen, 1927- [συγγραφέας.]
  • Keisler, H. Jerome [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics ; 73.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1973
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.8 CHA.
71.
Set theory : an introduction to large cardinals / Frank R. Drake. από
  • Drake, F. R. (Frank Robert) [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics ; 76.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1974
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.322 DRA.
72.
Introduction to model theory and to the metamathematics of algebra / Abraham Robinson. από
  • Robinson, Abraham, 1918-1974 [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics
Έκδοση: 2nd, rev. ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1974
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: Π/Σ 512.02 ROB. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 512.02 ROB.
73.
Axiomatic set theory / Bernays, Paul ; with a historical introduction by Abraham A. Fraenkel. από
  • Bernays, Paul, 1888- [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1968
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.322 BER.
74.
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.
75.
Intuitionistic logic, model theory and forcing / Melvin Chris Fitting. από
  • Fitting, Melvin, 1942- [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1969
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.34 FIT.
76.
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.
77.
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.
78.
Complete theories / Abraham Robinson. από
  • Robinson, Abraham, 1918-1974 [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1977
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 512 ROB.
79.
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.
80.
Elsevier's dictionary of general physics : in six languages english, french, spanish, italian dutch and german / W. E. Clason. από
  • Clason, W. E [συγγραφέας]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά, French, Spanish
Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 1962
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: Π 530.03 CLA, ...
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud