@BOOK{ Book!D - 100979873,
AUTHOR = "/ Jeanne Ferrante, Charles W. Rackoff",
TITLE = "The computational complexity of logical theories",
LIBRARY= "كتابخانه پردیس علوم (دانشگاه تهران)",
SUBJECT = "Predicate calculus,Computational complexity",
URL = "/book/100979873/The-computational-complexity-of-logical-theories/"}