The Unprovability of Consistency: An Essay in Modal Logic

Boolos, George

ISBN 10: 0521218799 / ISBN 13: 9780521218795

Editore: Cambridge University Press, 1979

Riguardo questo articolo

Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Codice articolo Scanned0521218799

Dati bibliografici

Titolo: The Unprovability of Consistency: An Essay ...

Casa editrice: Cambridge University Press

Data di pubblicazione: 1979

Legatura: Hardcover

Condizione: new

Descrizione articolo

Riassunto:

The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic.

Descrizione del libro:

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.