Arithmetic, proof theory, and computational complexity edited by Peter Clote and Jan Krajicet
Τύπος υλικού:![Κείμενο](/opac-tmpl/lib/famfamfam/BK.png)
- 0198536909
- 511.3
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα Βασική Συλλογή | 511.3 CLO (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000039197 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Βασική Συλλογή Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.3 CHA The limits of mathematics | 511.3 CHE Modal logic | 511.3 CHU Introduction to mathematical logic. Vol. 1 | 511.3 CLO Arithmetic, proof theory, and computational complexity | 511.3 COM Complexity theory : | 511.3 COR Mathematical logic | 511.3 COR Mathematical logic |
Includes references