Titolo originale:
Predicative Arithmetic. (Mn-32)
Contenuto del libro:
Questo libro sviluppa l'aritmetica senza il principio di induzione, lavorando su teorie interpretabili nella teoria Q di Raphael Robinson. Alcune formule induttive, quelle vincolate, sono interpretabili in Q. Viene costruita un'aritmetica predicativa matematicamente forte, ma logicamente molto debole.
Pubblicato originariamente nel 1986.
La Princeton Legacy Library utilizza la più recente tecnologia print-on-demand per rendere nuovamente disponibili libri precedentemente fuori catalogo della Princeton University Press. Queste edizioni conservano i testi originali di questi importanti libri e li presentano in edizioni resistenti in brossura e copertina rigida. L'obiettivo della Princeton Legacy Library è quello di aumentare notevolmente l'accesso al ricco patrimonio scientifico contenuto nelle migliaia di libri pubblicati dalla Princeton University Press fin dalla sua fondazione nel 1905.
Altre informazioni sul libro:
| ISBN: | 9780691610290 |
| Autore: | |
| Editore: | |
| Lingua: | inglese |
| Rilegatura: | Copertina morbida |
| Anno di pubblicazione: | 2014 |
| Numero di pagine: | 200 |
Acquisto:
Attualmente disponibile, in magazzino.
