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

Ταξινόμηση
Αποτελέσματα
1.
Formal systems and recursive functions : proceedings of the eighth logic Colloquium Oxford, July 1963 / edited by J.N. Crossley; M.A.E. Dummett. από
  • Logic Colloquium (8th : 1963 : Oxford, Oxfordshire)
  • Crossley, John N [επιμελητής.]
  • Dummett, Michael, 1925-2011 [επιμελητής.]
Σειρά: Studies in logic and the foundations of mathematics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1965
Άλλος τίτλος:
  • studies in logic and the foundations of mathematic
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 LOG.
2.
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.
3.
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.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud