Provability, Computability and Reflection: Volume 10
Published on 1. April 2000
Book
Hardback
116 pages
978-0-444-53375-3 (ISBN)
More details
Series
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
Professional and scholarly
ISBN-13
978-0-444-53375-3 (9780444533753)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Lev D. Beklemishev
Sentences Undecidable in Formalized Arithmetic
An Exposition of the Theory of Kurt Godel
E-Book
05/2014
Elsevier
€215.00
Available for download