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

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

Ταξινόμηση
Αφαίρεση επισήμανσης Τονισμός
Επιλογή όλων Καθαρισμός όλων
Επιλογή τίτλων για:
Αποτελέσματα
1.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Lattices over orders / Klaus W. Roggenkamp, Verena Huber-Dyson. από
  • Roggenkamp, Klaus W [συγγραφέας.]
  • Huber-Dyson, Verena [συγγραφέας.]
Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 115, 142.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1970
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.33 ROG, ...
Προσθήκη στο καλάθι
2.
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. από
  • Ebbinghaus, Heinz-Dieter, 1939- [συγγραφέας.]
  • Flum, Jorg [συγγραφέας.]
  • Thomas, Wolfgang, 1947- [συγγραφέας.]
Σειρά: Undergraduate texts in mathematics (Springer)
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Γλώσσα: Αγγλικά Original language: German
Λεπτομέρειες δημοσίευσης: New York : Springer-Verlag, c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 EBB.
Προσθήκη στο καλάθι
3.
The Mathematica guidebook for symbolics / Michael Trott. από
  • Trott, Michael [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Γενικό;
Λεπτομέρειες δημοσίευσης: New York : Springer, 2006
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π 510.285 536 TRO.
Προσθήκη στο καλάθι
4.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Theory of symmetric lattices / F. Maeda, S. Maeda. από
  • Maeda, Fumitomo, 1897-1965 [συγγραφέας.]
  • Maeda, Shūichirō, 1927- [συγγραφέας.]
Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 173.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1970
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.33 MAE.
Προσθήκη στο καλάθι
5.
Notes on Set Theory [electronic resource] by Yiannis Moschovakis από
  • Moschovakis, Yiannis
Σειρά: Undergraduate Texts in Mathematics
Έκδοση: Second Edition
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, Inc. 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1).
Προσθήκη στο καλάθι
6.
A Concise Introduction to Mathematical Logic [electronic resource] by Wolfgang Rautenberg από
  • Rautenberg, Wolfgang
Σειρά: Universitext
Έκδοση: 2
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, Inc. 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1).
Προσθήκη στο καλάθι
7.
Self-reference and modal logic / C. Smoryński. από
  • Smorynski, C [συγγραφέας.]
Σειρά: Universitext (Springer)
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer-Verlag, 1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 SMO.
Προσθήκη στο καλάθι
8.
A Concise Introduction to Mathematical Logic [electronic resource] by Wolfgang Rautenberg από
  • Rautenberg, Wolfgang
  • SpringerLink (Online service)
Σειρά: Universitext
Έκδοση: 3
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer-Verlag New York 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1).
Προσθήκη στο καλάθι
9.
A Course in Mathematical Logic for Mathematicians [electronic resource] by Yu. I. Manin από
  • Manin, IU I
  • SpringerLink (Online service)
Σειρά: Graduate Texts in Mathematics ; 53
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer-Verlag New York 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1).
Προσθήκη στο καλάθι
10.
An algebraic introduction to mathematical logic / D. W. Barnes, J. M. Mack. από
  • Barnes, D. W. (Donald W.), 1935- [συγγραφέας.]
  • Mack, J. M [συγγραφέας.]
Σειρά: Graduate texts in mathematics (Springer)
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: New York : Springer-Verlag, [1975]
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.3 BAR, ...
Προσθήκη στο καλάθι
11.
Computability, complexity, logic / E. Börger. από
  • Börger, E. (Egon), 1946- [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics ; 128.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Γλώσσα: Αγγλικά Original language: German
Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : New York, N.Y., U.S.A. North-Holland ; Distributors for the U.S.A. and Canada : Elsevier Science Pub. Co., 1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 BOR.
Προσθήκη στο καλάθι
12.
Algebraic complexity theory / Peter Bürgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig. από
  • Bürgisser, Peter, 1962- [συγγραφέας. ]
  • Clausen, Michael [συγγραφέας.]
  • Shokrollahi, Mohammad Amin [συγγραφέας.]
Σειρά: Grundlehren der mathematischen Wissenschaften ; 315.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 BUR. Μηχανικών Η/Υ και Πληροφορικής: Not for loan (1)Ταξιθετικός αριθμός: 511.3 BUR.
Προσθήκη στο καλάθι
13.
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. από
  • Odifreddi, Piergiorgio, 1950- [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics ; 125, 143.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : New York, N.Y., USA : North-Holland ; Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 ODI.
Προσθήκη στο καλάθι
14.
An accompaniment to higher mathematics / George R. Exner. από
  • Exner, George R [συγγραφέας.]
Σειρά: Undergraduate texts in mathematics (Springer)
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 ΕΧΝ.
Προσθήκη στο καλάθι
15.
Logic of mathematics a modern course of classical logic Zofia Adamowicz, Pawel Zbierski από
  • Adamowicz, Zofia
  • Zbierski, Pawel
Σειρά: Pure and applied mathematics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York John Wiley & Sons 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: 511.3 A.
Προσθήκη στο καλάθι
16.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Einführung in die operative Logik und Mathematik / Lorenzen Paul. από
  • Lorenzen, Paul, 1915-1994 [συγγραφέας.]
Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 78.
Έκδοση: 2 Aufl.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1969
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 LOR.
Προσθήκη στο καλάθι
17.
Mathematical logic / J. Donald Monk. από
  • Monk, J. Donald (James Donald), 1930- [συγγραφέας.]
Σειρά: Graduate texts in mathematics (Springer) ; 37.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York : Springer-Verlag, 1976
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 MON.
Προσθήκη στο καλάθι
18.
A course in mathematical logic for mathematicians / Yu. I. Manin ; translated from the Russian by Neal Koblitz. από
  • Manin, IU I [συγγραφέας.]
  • Koblitz, Neal, 1948- [μεταφραστής.]
Σειρά: Graduate texts in mathematics (Springer) ; 53.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά, Russian
Λεπτομέρειες δημοσίευσης: New York : Springer-Verlag, 1977
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 MAN.
Προσθήκη στο καλάθι
19.
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.
Προσθήκη στο καλάθι
20.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
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, ...
Προσθήκη στο καλάθι
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας		 Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud