Prediktívna aritmetika. (Mn-32)

Pôvodný názov:

Predicative Arithmetic. (Mn-32)

Obsah knihy:

V tejto knihe sa rozvíja aritmetika bez princípu indukcie, pričom sa pracuje s teóriami, ktoré sú interpretovateľné v teórii Rafaela Robinsona Q. Určité indukčné formuly, tie ohraničené, sú interpretovateľné v Q. Konštruuje sa matematicky silná, ale logicky veľmi slabá prediktívna aritmetika.

Pôvodne publikované v roku 1986.

Knižnica Princeton Legacy Library využíva najnovšiu technológiu tlače na požiadanie, aby opäť sprístupnila predtým nevydané knihy z významného zoznamu vydavateľstva Princeton University Press. Tieto edície zachovávajú pôvodné texty týchto významných kníh a zároveň ich predstavujú v trvanlivých paperbackových a hardcoverových vydaniach. Cieľom Princeton Legacy Library je výrazne zvýšiť prístup k bohatému vedeckému dedičstvu, ktoré sa nachádza v tisícoch kníh vydaných vydavateľstvom Princeton University Press od jeho založenia v roku 1905.