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

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

Ταξινόμηση
Αποτελέσματα
341.
Examples and counterexamples in graph theory / Michael Capobianco, John C. Molluzzo ; foreword by Gary Chartrand. από
  • Capobianco, Michael [συγγραφέας.]
  • Molluzzo, John C [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: New York : North-Holland--New York, c1978
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.5 CAP.
342.
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 ΜΟΣ.
343.
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.
344.
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.
345.
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.
346.
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.
347.
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.
348.
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.
349.
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.
350.
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.
351.
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.
352.
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.
353.
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, ...
354.
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.
355.
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.
356.
Handbook of Boolean algebras / edited by J. Donald Monk with the cooperation of Robert Bonnet. από
  • Monk, J. Donald (James Donald), 1930- [επιμελητής.]
  • Bonnet, Robert [επιμελητής.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Γενικό;
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, c1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (3)Ταξιθετικός αριθμός: Π 511.324 HAN, ...
357.
Handbook of set-theoretic topology / edited by Kenneth Kunen, Jerry E. Vaughan. από
  • Kunen, K [επιμελητής.]
  • Vaughan, Jerry E [επιμελητής.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Γενικό;
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π 514.322 HAN.
358.
Handbook on synchrotron radiation / edited by G. S. Brown, D. E. Moncton. από
  • Brown, G. S [επιμελητής.]
  • Moncton, D. E [επιμελητής.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Γενικό;
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π 539.735 HAN.
359.
Parallel algorithms & architectures : proceedings of the International Workshop on Parallel Algorithms & Architectures, Centre National de Rencontres Mathématiques, Luminy, France, 14-18 April, 1986 / edited by Michel Cosnard ... [et al.]. από
  • International Workshop on Parallel Algorithms (1st : Centre national de rencontres mathématiques) 1986
  • Cosnard, M. (Michel) [επιμελητής.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986
Άλλος τίτλος:
  • Parallel algorithms and architectures.
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.35 INT.
360.
Exobiology / edited by Cyril Ponnamperuma. από
  • Ponnamperuma, Cyril, 1923- [επιμελητής.]
Σειρά: North Holland research monographs. Frontiers of biology ; 23
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland Pub. Co., 1972
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 576.839 PON.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud