Bounded arithmetic
Edición de la obra Bounded arithmetic
| Autor | Samuel R. Buss |
|---|---|
| Editorial | Bibliopolis |
| Fecha de publicación | 1986 |
| Lugar | Napoli |
| Idioma | inglés |
| Páginas | 221 |
| ISBN-10 | 8870881504 |
| OCLC | 17649713 |
| LCCN | 87134102 |
| Serie | Studies in proof theory ; · 3 |
| Número de Cutter | B981b |