V-Horn
a Horn-based second-order theory of arithmetic.
Edición de la obra V-Horn
| Autor | Antonina Kolokolova |
|---|---|
| Fecha de publicación | 2000 |
| Idioma | inglés |
| Páginas | 54 |
| ISBN-10 | 0612497372 |
| Número de Cutter | K81v |
a Horn-based second-order theory of arithmetic.
Edición de la obra V-Horn
| Autor | Antonina Kolokolova |
|---|---|
| Fecha de publicación | 2000 |
| Idioma | inglés |
| Páginas | 54 |
| ISBN-10 | 0612497372 |
| Número de Cutter | K81v |