Pastāsti draugiem par šo preci:
The Unprovability of Consistency: An Essay in Modal Logic George Boolos
The Unprovability of Consistency: An Essay in Modal Logic
George Boolos
The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency.
196 pages, black & white illustrations
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2009. gada 8. janvāris |
| ISBN13 | 9780521092975 |
| Izdevēji | Cambridge University Press |
| Lapas | 196 |
| Izmēri | 140 × 216 × 11 mm · 260 g |
| Valoda | Angļu |