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

Ταξινόμηση
Αποτελέσματα
1.
Combinatorial functors [by] J. N. Crossley [and] Anil Nerode από
  • Crossley, John N [aut]
  • Nerode, Anil, 1932- [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer - Verlag 1974
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 515.7 CRO.
2.
What is mathematical logic? J. N. Crossley ...[et.al.] από
  • Crossley, John N
  • Ash, C. J
  • Brickhill, C. J
  • Williams, N. H
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, N.Y. Dover Publications 1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φυσικό (1)Ταξιθετικός αριθμός: 511.3 CRO.
3.
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society Monash University, Australia / edited by J. N. Crossley από
  • Crossley, John N [επιμελητής.]
Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 450.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1975
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.3 ALG, ...
4.
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.
5.
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.
6.
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