Ferrante, Jeanne

Lecture Notes in Mathematics ( 718 ): The Computational Complexity of Logical Theories / by Jeanne Ferrante - Berlin: Springer-Verlag: 1979. - x, 243p.

3540095012

511.3 / FER/L