Predicative Arithmetic. (Mn-32)

Könyv tartalma:

Ez a könyv az indukciós elv nélküli aritmetikát fejleszti, olyan elméletekkel dolgozva, amelyek értelmezhetők Raphael Robinson Q elméletében. Bizonyos induktív formulák, a korlátos formulák, értelmezhetők Q-ban. Egy matematikailag erős, de logikailag nagyon gyenge prediktív aritmetikát konstruál.

Eredetileg 1986-ban jelent meg.

A Princeton Legacy Library a legújabb print-on-demand technológiát alkalmazza, hogy ismét elérhetővé tegye a Princeton University Press kiváló backlistájának korábban már nem nyomtatott könyveit. Ezek a kiadások megőrzik e fontos könyvek eredeti szövegét, miközben tartós paperback és keményfedeles kiadásban mutatják be őket. A Princeton Legacy Library célja, hogy jelentősen növelje a Princeton University Press által 1905-ös alapítása óta kiadott több ezer könyvben található gazdag tudományos örökséghez való hozzáférést.