Die Unbeweisbarkeit der Konsistenz: Ein Essay in modaler Logik von George Boolos (Engl.
96,17 €
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.
Jetzt bei Ebay:
