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 pubblicazione1979
- ISBN 10 0521218799
- ISBN 13 9780521218795
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine208
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 132,38
EUR 38,77 per la spedizione da U.S.A. 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, 1979
ISBN 10: 0521218799
ISBN 13: 9780521218795
Antico o usato
Rilegato
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.9. Codice articolo G0521218799I3N01
Quantità: 1 disponibili
Foto dell'editore
MICHELANGELO ANTONIONI An Introduction
Editore:
Simon and Schuster., 1963
ISBN 10: 0521218799
ISBN 13: 9780521218795
Antico o usato
Rilegato
Da: ODYSSEY, Pointe Claire, QC, Canada
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Fine. Condizione sovraccoperta: Very Good. 1st American 1st Printing. Type: Book 207 pp., black cloth bdg. with siver-stamped spine. Illustrated with numerous stills as well as photographs of Antonioni's work, many never published before. A FINE copy in a DJ(slightly scuffed edges spine and corners of flaps, otherwise very clean, price clipped) Photo scan available upon request. Books sold to the USA are shipped USPS out of Champlain NY. Codice articolo 1432H
Quantità: 1 disponibili
Foto dell'editore
The Unprovability of Consistency: An Essay in Modal Logic.
Editore:
Cambridge University Press, 1979
ISBN 10: 0521218799
ISBN 13: 9780521218795
Antico o usato
Rilegato
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
Leinen. Condizione: Sehr gut. Zust: Gutes Exemplar. Mit original Schutzumschlag. Mit Vorbesitzereintrag. VIII, 184 Seiten, Englisch 398g. Codice articolo 492370
Quantità: 1 disponibili
Foto dell'editore
The Unprovability of Consistency: An Essay in Modal Logic
Editore:
Cambridge University Press, 1979
ISBN 10: 0521218799
ISBN 13: 9780521218795
Antico o usato
Rilegato
Da: The Bookseller, Edmonton, AB, Canada
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. Condizione sovraccoperta: Very Good. Minor shelf wear to book and dust jacket. Otherwise a tight, unmarked book. Index. viii, 184 pp. Codice articolo 050113
Quantità: 1 disponibili
Foto dell'editore
The Unprovability of Consistency: An Essay in Modal Logic
Editore:
Cambridge University Press, 1979
ISBN 10: 0521218799
ISBN 13: 9780521218795
Antico o usato
Rilegato
Da: dsmbooks, Liverpool, Regno Unito
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: Good. Good. book. Codice articolo D8S0-3-M-0521218799-3
Quantità: 1 disponibili
Foto dell'editore
The Unprovability of Consistency: An Essay in Modal Logic
Da: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-0521218799
Quantità: 1 disponibili
Foto dell'editore
The Unprovability of Consistency: An Essay in Modal Logic
Da: Toscana Books, AUSTIN, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Codice articolo Scanned0521218799
Quantità: 1 disponibili