The Unprovability Of Consistency

An Essay In Modal Logic

by George Boolos
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, January of 2009 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
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.

The Unprovability Of Consistency

An Essay In Modal Logic

by George Boolos

Property Description
ISBN: 9780521092975
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: January of 2009
Language: English
Cover: Softcover
Pages: 196
Format: Book
Categories: Books in English > Science > Mathematics
EAN: 9780521092975