Lecture Notes in Mathematics ( 718 ): The Computational Complexity of Logical Theories
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
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