Computational complexity of logical theories
Ferrante, Jeanne
Computational complexity of logical theories Jeanne Ferrante and Charles W Rackoff - - Springer-Verlag, Berlin 1979 - - Lecture Notes in Mathematics, No.0718 .
Lecture Notes in Mathematics
R LNM.0718
Computational complexity of logical theories Jeanne Ferrante and Charles W Rackoff - - Springer-Verlag, Berlin 1979 - - Lecture Notes in Mathematics, No.0718 .
Lecture Notes in Mathematics
R LNM.0718