Μεταφερθείτε στο κυρίως περιεχόμενο
Βιβλιοθήκη & Κέντρο Πληροφόρησης, Πανεπιστήμιο Πατρών
Το καλάθι σας είναι άδειο.
Καλάθι
Λίστες
Δημόσιες λίστες
Απριλιανό καθεστώς
Προβολή όλων
Ιστορικό αναζήτησης
Καθαρισμός
Κατάλογος βιβλιοθήκης
Τίτλος
Συγγραφέας
Θέμα
ISBN
ISSN
Σειρά
Ταξιθετικός αριθμός
Σύνθετη αναζήτηση
Βιβλιογραφίες μαθημάτων
Αναζήτηση καθιερωμένων όρων
Βιβλιοθήκες
Συνδεθείτε στο λογαριασμό σας
×
Σύνδεση:
Κωδικός πρόσβασης:
Αρχική
Αποτελέσματα αναζήτησης για 'ccl=an:187372'
Βελτιώστε την αναζήτησή σας
Διαθεσιμότητα
Περιορισμός μόνο στα διαθέσιμα τεκμήρια
Συγγραφείς
Boerger, Egon
Fenstad, Jens Erik
Grädel, Erich
Gurevich, Yuri
Hinman, Peter G.
Soare, R. I.
Εμφάνιση περισσότερων
Εμφάνιση λιγότερων
Βιβλιοθήκες που διαθέτουν αντίτυπα
ΒΚΠ - Πατρα
Τύποι τεκμηρίου
Book [21]
Τοποθεσίες
Αποθήκη 2.10
Βασική Συλλογή
Σειρά
Perspectives in math...
Θέματα
Θεωρία της επαναλήψε...
Λογική, Συμβολική κα...
Ομάδες, Θεωρία των
Η αναζήτηση επέστρεψε 4 αποτελέσματα.
Ταξινόμηση
Ταξινόμηση κατά:
Σχετικότητα
Δημοτικότητα (φθίνουσα)
Δημοτικότητα (αύξουσα)
Συγγραφέας (Α-Ω)
Συγγραφέας (Ω-Α)
Ταξιθετικό αριθμό (0-9 έως Α-Ω)
Ταξιθετικό αριθμό (Ω-Α έως 9-0)
Χρονολογία έκδοσης/Κατοχύρωσης πνευματικής ιδιοκτησίας: Νεότερη προς παλαιότερη
Χρονολογία έκδοσης/Κατοχύρωσης πνευματικής ιδιοκτησίας: Παλαιότερη προς νεότερη
Ημερομηνία πρόσκτησης: Νεότερα προς παλαιότερα
Ημερομηνία πρόσκτησης: Παλαιότερα προς νεότερα
Τίτλος (Α-Ω)
Τίτλος (Ω-Α)
Αφαίρεση επισήμανσης
Τονισμός
Επιλογή όλων
Καθαρισμός όλων
Επιλογή τίτλων για:
Προσθήκη σε...
Καλάθι
Απριλιανό καθεστώς
[ Νέα λίστα ]
Αποτελέσματα
1.
Recursion-theoretic hierarchies /
Peter G. Hinman.
από
Hinman, Peter G
[συγγραφέας.]
Σειρά:
Perspectives in mathematical logic
Τύπος υλικού:
Κείμενο
; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης:
Berlin ; New York :
Springer-Verlag,
1978
Διαθεσιμότητα:
Διαθέσιμα αντίτυπα για δανεισμό:
ΒΚΠ - Πατρα
(2)
Ταξιθετικός αριθμός:
511.3 H, ..
.
Προσθήκη στο καλάθι
(αφαίρεση)
2.
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets /
Robert I. Soare.
από
Soare, R. I. (Robert Irving)
, 1940-
[συγγραφέας.]
Σειρά:
Perspectives in mathematical logic
Τύπος υλικού:
Κείμενο
; Διάταξη:
έντυπο
; Λογοτεχνικό είδος:
Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης:
Berlin ; New York :
Springer-Verlag,
c1987
Διαθεσιμότητα:
Διαθέσιμα αντίτυπα για δανεισμό:
ΒΚΠ - Πατρα
(2)
Ταξιθετικός αριθμός:
511.3 SOA, ..
.
Προσθήκη στο καλάθι
(αφαίρεση)
3.
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
.
Προσθήκη στο καλάθι
(αφαίρεση)
4.
The classical decision problem /
Egon Boerger, Erich Grädel, Yuri Gurevich.
από
Boerger, Egon
, 1946-
[συγγραφέας.]
Grädel, Erich
, 1958-
[συγγραφέας.]
Gurevich, Yuri
[συγγραφέας.]
Σειρά:
Perspectives in mathematical logic
Τύπος υλικού:
Κείμενο
; Διάταξη:
έντυπο
; Λογοτεχνικό είδος:
Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης:
New York :
Springer,
1997
Διαθεσιμότητα:
Διαθέσιμα αντίτυπα για δανεισμό:
ΒΚΠ - Πατρα
(1)
Ταξιθετικός αριθμός:
511.3 BOR
.
Προσθήκη στο καλάθι
(αφαίρεση)
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621,
Φόρμα επικοινωνίας