Logic and algebra / edited by Yi Zhang with a preface by Oleg Belegradek.
Τύπος υλικού: ΚείμενοΣειρά: Contemporary mathematics (American Mathematical Society) ; v. 302.Λεπτομέρειες δημοσίευσης: Providence, R.I. : American Mathematical Society, c2002.Περιγραφή: viii, 285 σ. ; 26 εκISBN:- 082182984X
- 511.3 23
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [21] | Φιλοσοφίας | 511.3 LOG (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000171394 |
Browsing Φιλοσοφίας shelves Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
510.938 ΝΙΚ Άπαντα | 511.3 HAL Logic as algebra / | 511.3 HAL Logic as algebra / | 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 / |
Περιλαμβάνει βιβλιογραφικές παραπομπές.