Synopsis
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
Search results for The Logic of Provability
Stock Image
The Logic of Provability
Published by
Cambridge University Press, 2008
ISBN 10: 0521483255
ISBN 13: 9780521483254
Used
paperback
Seller: Half Price Books Inc., Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_444847217
Stock Image
The Logic of Provability
Published by
Cambridge University Press, 2008
ISBN 10: 0521483255
ISBN 13: 9780521483254
Used
Paperback
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0521483255I4N00
Stock Image
The Logic of Provability
Published by
Cambridge University Press, 1995
ISBN 10: 0521483255
ISBN 13: 9780521483254
Used
Softcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 316 pp., Paperback, faint wear to cover edge else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1333302
Stock Image
The Logic of Provability
Published by
Cambridge University Press, New York, 1995
ISBN 10: 0521483255
ISBN 13: 9780521483254
Used
Trade Paperback
Seller: Fahrenheit's Books, Denver, CO, U.S.A.
Seller rating 5 out of 5 stars
Trade Paperback. Condition: Very Good+. 1st Paperback. First trade paperback printing, has a light skew to the binding, a touch of bowing to the text block, very slight bumps to spine ends and cover corners, mild sunning to the spine, and a hint of edgewear with some faint rubbing to the covers, otherwise a solid, tight, clean VG+ copy. Seller Inventory # 102763
Seller Image
Logic of Provability
Published by
Cambridge University Press, 2008
ISBN 10: 0521483255
ISBN 13: 9780521483254
Used
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 698488
Seller Image
Logic of Provability
Published by
Cambridge University Press, 2008
ISBN 10: 0521483255
ISBN 13: 9780521483254
New
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 698488-n
Stock Image
The Logic of Provability (Paperback)
Published by
Cambridge University Press, Cambridge, 1995
ISBN 10: 0521483255
ISBN 13: 9780521483254
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. The relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521483254
Stock Image
The Logic of Provability
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 314 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __0521483255
Buy New
US$ 43.86
Shipping:
US$ 13.15
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
The Logic of Provability
Published by
Cambridge University Press CUP, 2008
ISBN 10: 0521483255
ISBN 13: 9780521483254
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 316 Index. Seller Inventory # 26440480
Seller Image
The Logic of Provability
Published by
Cambridge University Press, GB, 1995
ISBN 10: 0521483255
ISBN 13: 9780521483254
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 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. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does is to show how the concepts, techniques, and methods of modal logic shed brilliant light on the most important logical discovery of the twentieth century: the incompleteness theorems of Kurt Godel and the 'self-referential' sentences constructed in their proof. The book explores the effects of reinterpreting the notions of necessity and possibility to mean provability and consistency. Seller Inventory # LU-9780521483254
Buy New
US$ 61.78
Shipping:
FREE
From United Kingdom to U.S.A.
Quantity: Over 20 available