Aritmetică predicativă. (Mn-32)

Titlul original:

Predicative Arithmetic. (Mn-32)

Conținutul cărții:

Această carte dezvoltă aritmetica fără principiul inducției, lucrând în teorii care sunt interpretabile în teoria Q a lui Raphael Robinson. Anumite formule inductive, cele delimitate, sunt interpretabile în Q. Este construită o aritmetică predicativă puternică din punct de vedere matematic, dar foarte slabă din punct de vedere logic.

Publicată inițial în 1986.

Princeton Legacy Library utilizează cea mai recentă tehnologie de tipărire la cerere pentru a pune din nou la dispoziție cărți care nu au mai fost tipărite anterior, din distinsa listă de autor a Princeton University Press. Aceste ediții păstrează textele originale ale acestor cărți importante, prezentându-le în același timp în ediții durabile cu copertă cartonată și cu copertă de hârtie. Scopul Princeton Legacy Library este de a spori considerabil accesul la bogata moștenire științifică din miile de cărți publicate de Princeton University Press de la înființarea sa în 1905.