+612 9045 4394
 
Provability, Computability and Reflection - Lev D. Beklemishev

Provability, Computability and Reflection

eBook

Published: 1st April 2000
Format: PDF
$393.25
    Good For
  • IOS and Android Devices (Booktopia Reader app)
  • PC & Mac (Adobe Digital Editions)
  • Kobo / Sony / eReaders
    Not supported
  • Amazon Kindle
  • Windows Smart Phones
  • Adobe Overdrive
  • Adobe Reader
    Features
  • Scanned pages
  • Resizeable Text
  • Flowing Text
  • Reproducing or Printing Pages

Provability, Computability and Reflection

Formal systems -- Epitheory -- Lambda-conversion -- Church-Rosser theorem -- Intuitive theory of combinators -- Synthetic theory of combinators -- Logistic foundations -- Introduction to illative combinatory logic -- Basic theory of functionality -- Stronger theories of functionality.

ISBN: 9780080957425
ISBN-10: 0080957420
Format: PDF
Language: English
Published: 1st April 2000