Provability, Computability and Reflection

ISBN: 008095474X

ISBN 13: 9780080954745

Publication Date: May 14, 2014

Publisher: Elsevier Science & Technology

Pages: 467

Authors: R.O. Gandy, Lev D. Beklemishev

0.00 of 0

Click the button below to register a free account and download the file

Provability, Computability and Reflection