Systems of bounded arithmetic from descriptive complexity.
Edición de la obra Systems of bounded arithmetic from descriptive complexity
| Autor | Antonina Kolokolova |
|---|---|
| Fecha de publicación | 2005 |
| Idioma | inglés |
| Páginas | 188 |
| ISBN-10 | 049402609X |
| Número de Cutter | K81s |