The Computational complexity of logical theories /

Detalles Bibliográficos
Autores principales: Ferrante, Jeanne 1949- (Autor, Autor/a), Rackoff, Charles W. 1948- (Autor/a)
Formato: Libro
Lenguaje:English
Publicado: Berlín : Springer, 1964-.
Materias:
Descripción
Notas:En: Lecture notes in mathematics. -- Berlin. v. 718 (1979)
Descripción Física:x 243 páginas ; 24 cm
ISBN:3540095012