Computational complexity of logical theories
Ferrante J
Computational complexity of logical theories - Berlin Springer-Verlag 1979 - x, 234p. cm. - Lecture notes in mathematics 718; 718 .
29002
Textual
B4, L9
Computational complexity of logical theories - Berlin Springer-Verlag 1979 - x, 234p. cm. - Lecture notes in mathematics 718; 718 .
29002
Textual
B4, L9
