4240
Ferrante, Jeanne
9491-
The computational complexity of logical theories
Berlin; New York
Springer-Verlag
1979
x, 243p.: ill
Lecture notes in mathematics; 817
Bibliography: p. )234( - 238
Includes index
)by( Jeanne Ferrante )and( Charles W. Rackoff
، Predicate calculus
، Computational complexity
QA
3
.
L28
no
.
718
AU
TI Rackoff Charles W. 1948-
SE
SE
CL
