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

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

Ταξινόμηση
Αποτελέσματα
81.
Advanced models of cognition for medical training and practice / edited by David A. Evans, Vimla L. Patel. από
  • NATO Advanced Research Workshop on Advanced Models of Cognition for Medical Training and Practice Barga, Italy) (1991
  • Evans, David A. (David Andreoff), 1948- [επιμελητής.]
  • Patel, Vimla L [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 97.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 610.1 NAT.
82.
First-order logic / Raymond M. Smullyan. από
  • Smullyan, Raymond M [συγγραφέας.]
Σειρά: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 43.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1968
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 SMU.
83.
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, ...
84.
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.
85.
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.
86.
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.
87.
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.
88.
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.
89.
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, ...
90.
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.
91.
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.
92.
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.
93.
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.
94.
Geschichte der Sprachwissenschaft bei den Griechen und Römern, mit besonderer Rücksicht auf die Logik/ Heymann Steinthal. από
  • Steinthal, Heymann, 1823-1899 [συγγραφέας]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin, F. Dümmlers Verlagsbuchhandlung, 1891
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φιλοσοφίας (1)Ταξιθετικός αριθμός: 480 STE.
95.
A compendium of continuous lattices / G. Gierz ... [et al.]. από
  • Gierz, Gerhard [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, 1980
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.33 COM.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud