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.
Altre edizioni note dello stesso titolo
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-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0521218799I3N00
Compra usato
EUR 25,70
Spese di spedizione:
GRATIS
In U.S.A.
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: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Used book that is in clean, average condition without any missing pages. Codice articolo 17551758-6
Compra usato
EUR 28,27
Spese di spedizione:
GRATIS
In U.S.A.
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
Compra usato
EUR 20,96
Spese di spedizione:
EUR 13,90
Da: Canada a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
The unprovability of consistency An essay in modal logic
Editore:
Cambridge University Press, Cambridge, 1979
ISBN 10: 0521218799
ISBN 13: 9780521218795
Antico o usato
Rilegato
Da: Di Mano in Mano Soc. Coop, Cambiago, MI, Italia
Valutazione del venditore 5 su 5 stelle
Cartonato con sovracoperta. Testo in inglese. Text in English. Numero di tavole: 0 pp.184 9780521218795 altezza 31 larghezza 0 Esemplare in buone condizioni. Esemplare in buone condizioni.Sovraccoperta con leggere macchie di polvere e lievi segni di usura ai bordi e agli angoli. Testo in inglese.Text in English. Book in good condition. Codice articolo LIFITE0290008-212403
Compra usato
EUR 18,40
Spese di spedizione:
EUR 25,00
Da: Italia a: U.S.A.
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
Prima edizione
Da: ODYSSEY, Pointe Claire, QC, Canada
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Fine. Condizione sovraccoperta: Very Good. 1st Edition. Type: Book 1st printing stated; 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. Shipments to USA, USPS via Canada Post Express; FREE OF CUSTOMS OR DUTY CHARGE. Codice articolo 1432H
Compra usato
EUR 33,57
Spese di spedizione:
EUR 14,77
Da: Canada a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Unprovability of Consistency: An Essay on Modal Logic
Editore:
Cambridge University Press, 1979
ISBN 10: 0521218799
ISBN 13: 9780521218795
Antico o usato
Rilegato
Da: Mythos Center Books, Frontenac, MN, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hard cover. Condizione: Very Good. Very good in very good dust jacket. Signed by previous owner. NO MARKS in text Sewn binding. Cloth over boards. 208 p. Audience: General/trade. Codice articolo Alibris3518
Compra usato
EUR 57,29
Spese di spedizione:
EUR 3,91
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
The Unprovability of Consistency: An Essay in Modal Logic
Da: BennettBooksLtd, San Diego, 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
Compra nuovo
EUR 130,55
Spese di spedizione:
EUR 6,04
In U.S.A.
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
Compra nuovo
EUR 134,87
Spese di spedizione:
EUR 3,74
In U.S.A.
Quantità: 1 disponibili