TY  - BOOK
A1  - Ferrante, Jeanne
TI  - The computational complexity of logical theories
PB  - کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان
SN  - 95025878
UR  /book/95025878/The-computational-complexity-of-logical-theories/
ER  -