Titre original :
Predicative Arithmetic. (Mn-32)
Contenu du livre :
Ce livre développe l'arithmétique sans le principe d'induction, en travaillant dans des théories qui sont interprétables dans la théorie Q de Raphael Robinson. Certaines formules inductives, les formules bornées, sont interprétables dans Q. Une arithmétique prédicative mathématiquement forte, mais logiquement très faible, est construite.
Publié à l'origine en 1986.
La Princeton Legacy Library utilise les dernières technologies d'impression à la demande pour mettre à nouveau à disposition des livres précédemment épuisés de l'illustre collection de Princeton University Press. Ces éditions préservent les textes originaux de ces livres importants tout en les présentant dans des éditions de poche et à couverture rigide durables. L'objectif de la Princeton Legacy Library est d'accroître considérablement l'accès au riche patrimoine scientifique que constituent les milliers de livres publiés par Princeton University Press depuis sa création en 1905.
Autres informations sur le livre :
| ISBN : | 9780691610290 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
| Année de publication : | 2014 |
| Nombre de pages : | 200 |
Achat:
Actuellement disponible, en stock.
