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

Αποτελέσματα
	1.	Basic proof theory / A.S. Troelstra, H. Schwichtenberg. από Troelstra, A. S. (Anne Sjerp) [συγγραφέας.] Schwichtenberg, Helmut, 1942- [συγγραφέας.] Σειρά: Cambridge tracts in theoretical computer science Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge ; New York : Cambridge University Press, 2000 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 TRO. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Basic proof theory / A.S. Troelstra, H. Schwichtenberg. από Troelstra, A. S. (Anne Sjerp) [συγγραφέας.] Schwichtenberg, Helmut, 1942- [συγγραφέας.] Σειρά: Cambridge tracts in theoretical computer science ; 43. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Cambridge : Cambridge University Press, 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 TRO, ... Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας