by George Boolos (Author)
The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic.
Format: Paperback
Pages: 196
Edition: 1
Publisher: Cambridge University Press
Published: 08 Jan 2009
ISBN 10: 0521092973
ISBN 13: 9780521092975