Provability, Computability and Reflection
Provability, Computability and Reflection
ISBN: 0080955053
ISBN 13: 9780080955056
Publication Date: May 14, 2014
Publisher: Elsevier Science & Technology
Pages: 445
Authors: Dirk van Dalen, Lev D. Beklemishev, Maurice Boffa
