Título original:
Predicative Arithmetic. (Mn-32)
Contenido del libro:
Este libro desarrolla la aritmética sin el principio de inducción, trabajando en teorías que son interpretables en la teoría Q de Raphael Robinson. Ciertas fórmulas inductivas, las acotadas, son interpretables en Q. Se construye una aritmética predicativa matemáticamente fuerte, pero lógicamente muy débil.
Publicado originalmente en 1986.
La Princeton Legacy Library utiliza la última tecnología de impresión bajo demanda para poner de nuevo a disposición libros previamente agotados de la distinguida lista de libros atrasados de Princeton University Press. Estas ediciones conservan los textos originales de estos importantes libros al tiempo que los presentan en ediciones duraderas en rústica y tapa dura. El objetivo de la Princeton Legacy Library es aumentar enormemente el acceso al rico patrimonio académico que se encuentra en los miles de libros publicados por Princeton University Press desde su fundación en 1905.
Otros datos del libro:
| ISBN: | 9780691610290 |
| Autor: | |
| Editorial: | |
| Idioma: | inglés |
| Encuadernación: | Tapa blanda |
| Año de publicación: | 2014 |
| Número de páginas: | 200 |
Compra:
Actualmente disponible, en stock.
