Predicative Arithmetic. (Mn-32)
Książka ta rozwija arytmetykę bez zasady indukcji, pracując w teoriach, które są interpretowalne w teorii Q Raphaela Robinsona. Pewne formuły indukcyjne, te ograniczone, są interpretowalne w Q. Skonstruowana jest matematycznie silna, ale logicznie bardzo słaba, arytmetyka predykatywna.
Pierwotnie opublikowano w 1986 roku.
Princeton Legacy Library wykorzystuje najnowszą technologię druku na żądanie, aby ponownie udostępnić wcześniej niedostępne książki z wybitnej listy Princeton University Press. Edycje te zachowują oryginalne teksty tych ważnych książek, prezentując je w trwałych wydaniach w miękkiej i twardej oprawie. Celem Princeton Legacy Library jest znaczne zwiększenie dostępu do bogatego dziedzictwa naukowego zawartego w tysiącach książek opublikowanych przez Princeton University Press od momentu jej założenia w 1905 roku.
