Articoli correlati a The Unprovability of Consistency: An Essay in Modal...
Sinossi
The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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.
Contenuti
1. G and other normal modal propositional logics; 2. Peano Arithmetic; 3. The box as Bew; 4. Some applications of G; 5. Semantics for G and other modal logics; 6. Canonical models; 7. The completeness and decidability of G; 8. Trees for G; 9. Calculating the truth-values of fixed points; 10. Rosser's theorem; 11. The fixed-point theorem; 12. Solovay's completeness theorems; 13. An S4-preserving proof-theoretical treatment of modality; 14. The Craig Interpolation Lemma for G.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreCambridge University Press
- Data di pubblicazione2009
- ISBN 10 0521092973
- ISBN 13 9780521092975
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero edizione1
- Numero di pagine196
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 67,55
EUR 8,00 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costi
Risultati della ricerca per The Unprovability of Consistency: An Essay in Modal...
Foto dell'editore
The Unprovability of Consistency: An Essay in Modal Logic
Editore:
Cambridge University Press, 2009
ISBN 10: 0521092973
ISBN 13: 9780521092975
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 294. Codice articolo C9780521092975
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
The Unprovability of Consistency
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Codice articolo 446924566
Quantità: Più di 20 disponibili
Foto dell'editore
The Unprovability of Consistency: An Essay in Modal Logic
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 1st edition. 192 pages. 8.43x5.51x0.63 inches. In Stock. This item is printed on demand. Codice articolo __0521092973
Quantità: 1 disponibili
Foto dell'editore
The Unprovability of Consistency: An Essay in Modal Logic
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521092975_new
Quantità: Più di 20 disponibili
Foto dell'editore
The Unprovability of Consistency: An Essay in Modal Logic
Editore:
Cambridge University Press 2009-03-09, 2009
ISBN 10: 0521092973
ISBN 13: 9780521092975
Nuovo
Paperback
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9780521092975
Quantità: 10 disponibili
Foto dell'editore
The Unprovability of Consistency (Paperback)
Editore:
Cambridge University Press, Cambridge, 2009
ISBN 10: 0521092973
ISBN 13: 9780521092975
Nuovo
Paperback
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted for at least thirty years between the followers of C. I. Lewis and W. V. O. Quine. The author employs semantic methods developed by Saul Kripke in his analysis of modal logical systems. The book will be of interest to advanced undergraduate and graduate students in logic, mathematics and philosophy, as well as to specialists in those fields. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9780521092975
Quantità: 1 disponibili
Immagini fornite dal venditore
The Unprovability of Consistency : An Essay in Modal Logic
Editore:
Cambridge University Press, 2009
ISBN 10: 0521092973
ISBN 13: 9780521092975
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Codice articolo 9780521092975
Quantità: 1 disponibili
Foto dell'editore
The Unprovability of Consistency (Paperback)
Editore:
Cambridge University Press, Cambridge, 2009
ISBN 10: 0521092973
ISBN 13: 9780521092975
Nuovo
Paperback
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted for at least thirty years between the followers of C. I. Lewis and W. V. O. Quine. The author employs semantic methods developed by Saul Kripke in his analysis of modal logical systems. The book will be of interest to advanced undergraduate and graduate students in logic, mathematics and philosophy, as well as to specialists in those fields. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Codice articolo 9780521092975
Quantità: 1 disponibili
Foto dell'editore
The Unprovability of Consistency: An Essay in Modal Logic
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2215580241965
Quantità: Più di 20 disponibili
Foto dell'editore
The Unprovability of Consistency (Paperback)
Editore:
Cambridge University Press, Cambridge, 2009
ISBN 10: 0521092973
ISBN 13: 9780521092975
Nuovo
Paperback
Da: Grand Eagle Retail, Fairfield, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. 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. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted for at least thirty years between the followers of C. I. Lewis and W. V. O. Quine. The author employs semantic methods developed by Saul Kripke in his analysis of modal logical systems. The book will be of interest to advanced undergraduate and graduate students in logic, mathematics and philosophy, as well as to specialists in those fields. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780521092975
Quantità: 1 disponibili