Metamathematics, machines, and Godel's proof / N. Shankar.
Τύπος υλικού: ΚείμενοΣειρά: Cambridge tracts in theoretical computer science ; v. 38Λεπτομέρειες δημοσίευσης: Cambridge ; New York : Cambridge University Press, 1997, c1994.Περιγραφή: xv, 202 σ. ; 25 εκISBN:- 0521585333
- 511.3 23
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 S (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000056033 | |
Book [21] | Φιλοσοφίας | 511.3 SHA (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000171395 | |
Book [21] | Φιλοσοφίας | 511.3 SHA (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 3 | Διαθέσιμο | 025000171205 |
Browsing Φιλοσοφίας shelves Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
511.3 LOG Logic and algebra / | 511.3 OLE The structure of proof : | 511.3 SHA Metamathematics, machines, and Godel's proof / | 511.3 SHA Metamathematics, machines, and Godel's proof / | 511.322 KLI Fuzzy sets and fuzzy logic : | 513 BOE Institution arithmetique / | 519.3 BIN Game theory |
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.