Computability and logic George S. Boolos, John P. Burgess, Richard C. Jeffrey
Τύπος υλικού:![Κείμενο](/opac-tmpl/lib/famfamfam/BK.png)
- 0521809754
- 510
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 BOO (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 2 | Διαθέσιμο | 025000153982 | |
![]() |
Φιλοσοφίας | 510 Β (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο |
Browsing Φιλοσοφίας shelves Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
510 WHI Principia mathematica | 510 WHI Principia mathematica | 510 WHI Principia mathematica | 510 Β Computability and logic | 510.1 CAU Logic, sets, and recursion | 510.1 D Η μαθηματική εμπειρία | 510.1 GIA The search for certainty |
Includes bibliographical references and index