The Logic of Provability

Boolos, George

ISBN 10: 0521433428 / ISBN 13: 9780521433426

Published by Cambridge University Press, 1993

About this Item

275 pages. Ex-library marks, light wear and fading to the covers; clean text otherwise; a sound binding. No jacket. Quantity Available: 1. Category: Mathematics; ISBN: 0521433428. ISBN/EAN: 9780521433426. Inventory No: 230458.

Seller Inventory # 230458

Bibliographic Details

• Title: The Logic of Provability
• Publisher: Cambridge University Press
• Publication Date: 1993
• Language: English
• ISBN 10: 0521433428
• ISBN 13: 9780521433426
• Binding: Hardcover
• Condition: Good
• Dust Jacket Condition: No Dust Jacket
• Seller catalogs:
  • Mathematics

About this title

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.

Book Description

A completely rewritten and updated successor to the author's The Unprovability of Consistency (1979). This work's subject is the relations between probability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians.