The structure of proof : with logic and set theory / Michael L. O'Leary.
Τύπος υλικού:![Κείμενο](/opac-tmpl/lib/famfamfam/BK.png)
- 0130190772
- 511.3 23
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
![]() |
Φιλοσοφίας | 511.3 OLE (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000171292 |
Browsing Φιλοσοφίας shelves Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
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 / | 511.322 KLI Fuzzy sets and fuzzy logic : |
Περιλαμβάνει βιβλιογραφία και ευρετήριο.