@BOOK{ Book!D - 72168954,
AUTHOR = "Ferrante, Jeanne",
TITLE = "The computational complexity of logical theories",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Predicate calculus,، Computational complexity",
URL = "/book/72168954/The-computational-complexity-of-logical-theories/"}