Αποτελέσματα
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
Outlines of a formalist philosophy of mathematics Haskell B. Curry από- Curry, Haskell B. (Haskell Brooks), 1900-
Τύπος υλικού:  Κείμενο; Διάταξη:
έντυπο Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: Amsterdam North - Holland Publishing Company 1958
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 C.
|
|
|
9.
|
|
|
|
10.
|
|
|
|
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.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|
