The Logic of Provability - Softcover

Boolos, George S.

 
9780521483254: The Logic of Provability
Softcover
ISBN 10: 0521483255 ISBN 13: 9780521483254
Verlag: Cambridge University Press, 2008

Inhaltsangabe

Boolos, a pre-eminent philosopher of mathematics, investigates the relationship between provability and modal logic.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

This book written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
0521483255
ISBN 13 
9780521483254
Einband
Taschenbuch
Anzahl der Seiten
316
Kontakt zum Hersteller
Cambridge University Press
https://www.cambridge.org/

Via Honduras,15
Pomezia
Italia
71
Italien