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

Ταξινόμηση
Αποτελέσματα
1.
Set theory and its logic / Willard Van Orman Quine. από
  • Quine, W. V. (Willard Van Orman), 1908-2000 [συγγραφέας.]
Έκδοση: Rev. ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Cambridge : Belknap Press of Harvard University Press, 1969
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 QUI.
2.
Admissible sets and structures an approach to definability theory K. Jon Barwise από
  • Barwise, Jon
Σειρά: Perspectives in mathematical logic
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin New York Springer-Verlag 1975
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 B.
3.
Constructibility Keith J. Devlin από
  • Devlin, Keith J
Σειρά: Perspectives in mathematical logic
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin New York Springer-Verlag 1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 D.
4.
Sets, logic and categories / Peter J. Cameron. από
  • Cameron, Peter J. (Peter Jephson), 1947- [συγγραφέας.]
Σειρά: Springer undergraduate mathematics series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: London : Springer, 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.322 CAM.
5.
Elements of logic and foundations of mathematics Wictor Marek and Janusz Onyskiewicz από
  • Marek, Wictor V
  • Onyskiewicz, Janusz
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Warczawa Pwn - Polish Scientific Puplishers 1982
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 MAR.
6.
Boolean-valued models and independence proofs in set theory J.L. Bell από
  • Bell, J. L
Σειρά: Oxford logic guides ; 12
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Oxford Clarendon Press 1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 BEL.
7.
Logiques, ensembles, categories le point de vue constructif Pierre Ageron από
  • Ageron, Pierre
Σειρά: Mathematiques pour le 2e cycle
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: French
Λεπτομέρειες δημοσίευσης: Paris Ellipses 2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.322 AGE, ...
8.
Transfinite Zahlen Heinz Bachmann
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: German
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1967
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 B.
9.
Set theory and logic by Robert R. Stoll από
  • Stoll, Robert R
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, N.Y. Dover Publications 1979
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φυσικό (1)Ταξιθετικός αριθμός: 511.3 STO.
10.
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.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud