Μεταφερθείτε στο κυρίως περιεχόμενο
Βιβλιοθήκη & Κέντρο Πληροφόρησης, Πανεπιστήμιο Πατρών
Το καλάθι σας είναι άδειο.
Καλάθι
Λίστες
Δημόσιες λίστες
Απριλιανό καθεστώς
Προβολή όλων
Ιστορικό αναζήτησης
Καθαρισμός
Κατάλογος βιβλιοθήκης
Τίτλος
Συγγραφέας
Θέμα
ISBN
ISSN
Σειρά
Ταξιθετικός αριθμός
Σύνθετη αναζήτηση
Βιβλιογραφίες μαθημάτων
Αναζήτηση καθιερωμένων όρων
Βιβλιοθήκες
Συνδεθείτε στο λογαριασμό σας
×
Σύνδεση:
Κωδικός πρόσβασης:
Αρχική
Αποτελέσματα αναζήτησης για 'an:156266'
Βελτιώστε την αναζήτησή σας
Διαθεσιμότητα
Περιορισμός μόνο στα διαθέσιμα τεκμήρια
Συγγραφείς
Chaitin, Gregory J.
Schwichtenberg, Helm...
Shankar, N.
Troelstra, A. S.
Βιβλιοθήκες που διαθέτουν αντίτυπα
ΒΚΠ - Πατρα
Φιλοσοφίας
Τύποι τεκμηρίου
Book [21]
Τοποθεσίες
Αποθήκη 2.10
Βασική Συλλογή
Σειρά
Cambridge tracts in ...
Θέματα
Θεώρημα του Godel
Θεωρία μηχανών
Λογική, Συμβολική κα...
Μαθηματικά
Υπολογιστική πολυπλο...
Η αναζήτηση επέστρεψε 4 αποτελέσματα.
Ταξινόμηση
Ταξινόμηση κατά:
Σχετικότητα
Δημοτικότητα (φθίνουσα)
Δημοτικότητα (αύξουσα)
Συγγραφέας (Α-Ω)
Συγγραφέας (Ω-Α)
Ταξιθετικό αριθμό (0-9 έως Α-Ω)
Ταξιθετικό αριθμό (Ω-Α έως 9-0)
Χρονολογία έκδοσης/Κατοχύρωσης πνευματικής ιδιοκτησίας: Νεότερη προς παλαιότερη
Χρονολογία έκδοσης/Κατοχύρωσης πνευματικής ιδιοκτησίας: Παλαιότερη προς νεότερη
Ημερομηνία πρόσκτησης: Νεότερα προς παλαιότερα
Ημερομηνία πρόσκτησης: Παλαιότερα προς νεότερα
Τίτλος (Α-Ω)
Τίτλος (Ω-Α)
Αφαίρεση επισήμανσης
Τονισμός
Επιλογή όλων
Καθαρισμός όλων
Επιλογή τίτλων για:
Προσθήκη σε...
Καλάθι
Απριλιανό καθεστώς
[ Νέα λίστα ]
Αποτελέσματα
1.
Algorithmic information theory /
Gregory J. Chaitin.
από
Chaitin, Gregory J
[συγγραφέας.]
Σειρά:
Cambridge tracts in theoretical computer science
Τύπος υλικού:
Κείμενο
; Διάταξη:
έντυπο
; Λογοτεχνικό είδος:
Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης:
Cambridge [Cambridgeshire] ; New York :
Cambridge University Press,
1987
Διαθεσιμότητα:
Διαθέσιμα αντίτυπα για δανεισμό:
ΒΚΠ - Πατρα
(2)
Ταξιθετικός αριθμός:
006.31 CHA, ..
.
Προσθήκη στο καλάθι
(αφαίρεση)
2.
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
.
Προσθήκη στο καλάθι
(αφαίρεση)
3.
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, ..
.
Προσθήκη στο καλάθι
(αφαίρεση)
4.
Metamathematics, machines, and Godel's proof /
N. Shankar.
από
Shankar, N
[συγγραφέας]
Σειρά:
Cambridge tracts in theoretical computer science
; v. 38
Τύπος υλικού:
Κείμενο
; Διάταξη:
έντυπο
; Κοινό:
Ειδικευμένο;
Λεπτομέρειες δημοσίευσης:
Cambridge ; New York :
Cambridge University Press,
1997, c1994
Διαθεσιμότητα:
Διαθέσιμα αντίτυπα για δανεισμό:
ΒΚΠ - Πατρα
(1)
Ταξιθετικός αριθμός:
511.3 S
.
Φιλοσοφίας
(2)
Ταξιθετικός αριθμός:
511.3 SHA, ..
.
Προσθήκη στο καλάθι
(αφαίρεση)
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621,
Φόρμα επικοινωνίας