Ferrante, Jeanne; Rackoff, Charles W. The computational complexity of logical theories.
Lecture Notes in Mathematics, 718. Springer, Berlin, 1979. x+243 pp. ISBN: 3-540-09501-2
Links to the journal or article are not yet available
For users without a
, Relay Station allows linking from MR numbers in online mathematical literature
directly to electronic journals and original articles.
Subscribers receive the added value of full MathSciNet reviews.