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

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

Ταξινόμηση
Αποτελέσματα
81.
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.
82.
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.
83.
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.
84.
Handbook of combinatorics / edited by R.L. Graham, M. Grotschel, L. Lovasz. από
  • Graham, Ronald L, 1935- [επιμελητής.]
  • Grotschel, Martin [επιμελητής.]
  • Lovasz, Laszlo, 1948- [επιμελητής.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Γενικό;
Λεπτομέρειες δημοσίευσης: Amsterdam : Cambridge,Mass : Elsevier ; MIT Press, 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.6 GRA, ... Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π 511.6 HAN, ...
85.
Building construction handbook / R. Chudley and R. Greeno από
  • Chudley, Roy [συγγραφέας]
  • Greeno, Roger [συγγραφέας]
Έκδοση: 5th ed., reprint 2006
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier 2004 [reprint 2006]
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π 690 CHU.
86.
Dictionary of mathematics : in four languages : english, german, french, russian / compiled by G. Eisenreich and R. Sube. από
  • Eisenreich, G [συγγραφέας]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, c1982
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π 510.3 EIS, ...
87.
Elsevier 's dictionary of industrial chemistry / compiled and arranged on an english alphabetical base by A. F. Dorian, D. Litt.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 1964
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π 660.03 ELS, ...
88.
Concise encyclopaedic dictionary of fuel technology / by Alan Gilpin. από
  • Gilpin, Alan
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, c1969
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π 662.603 GIL.
89.
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 ΜΟΣ.
90.
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.
91.
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.
92.
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.
93.
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.
94.
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.
95.
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.
96.
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.
97.
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.
98.
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.
99.
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.
100.
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, ...
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud