Provability, Computability and Reflection Edition by Beklemishev, Lev D. and Publisher Elsevier Science. Save up to 80% by choosing the eTextbook option for ISBN: 9780720422849, 9780080954943, 0080954944. The print version of this textbook is ISBN: 9780720422849, 0720422841.