The computational complexity of logical theories
Edición de la obra The computational complexity of logical theories
| Autor | Jeanne Ferrante |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1979 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 243 |
| ISBN-10 | 0387095012 |
| LCCN | 79015338 |
| Serie | Lecture notes in mathematics ; 718 · Lecture notes in mathematics (Springer-Verlag) ; · 718. |
| Número de Cutter | F373c |