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

Αποτελέσματα
	1.	Recursion theory for metamathematics Raymond M. Smullyan από Smullyan, Raymond M Σειρά: Oxford logic guides ; 22 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Oxford University Press 1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.35 SMU. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Theory of recursive functions and effective computability Hartley Rogers από Hartley, Rogers Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: New York McGraw - Hill Book Company 1967 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.35 ROG. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller, and G.E. Sacks. από Ebbinghaus, Heinz-Dieter, 1939- [επιμελητής.] Müller, G. H. (Gert Heinz), 1923- [επιμελητής.] Sacks, Gerald E [επιμελητής.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 1141. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.35 REC. Προσθήκη στο καλάθι (αφαίρεση)
	4.	General recursion theory : an axiomatic approach / Jens E. Fenstad. από Fenstad, Jens Erik [συγγραφέας.] Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1980 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.35 FEN. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Solutions to selected problems to accompany switching and finite automata theory / by Zvi Kohavi ; prepared by Igal Kohavi, Charles L. Seitz. από Kohavi, Zvi [συγγραφέας.] Kohavi, Igal [συγγραφέας.] Seitz, Charles L [συγγραφέας.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: New York : McGraw-Hill, c1970 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 KOH. Προσθήκη στο καλάθι (αφαίρεση)
	6.	Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. από Odifreddi, Piergiorgio, 1950- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 125, 143. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : New York, N.Y., USA : North-Holland ; Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 ODI. Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας