Αποτελέσματα
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
The language of logic by Hans Freudenthal από
Τύπος υλικού:  Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Amsterdam Elsevier Publishing Company 1966
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 FRE, ...
|
|
|
6.
|
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.
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
Proof theory / Gaisi Takeuti. από- Takeuti, Gaisi, 1926- [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics ; 81.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο ; Λογοτεχνικό είδος:
Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.36 TAK.
|
