00786nam0-22002651i-450-990001221270403321000122127FED01000122127(Aleph)000122127FED0100012212720000920d1----km-y0itay50------baeng<<The >>Computational Complexity of Logical Theoriesby Ferrante J. Rackoff C.W.Berlin [etc.]Springer-Verlag1Lecture Notes in Mathematics178Ferrante,Jeanne46752Rackoff,CharlesITUNINARICAUNIMARCBK990001221270403321C-20-(7181111MA1MA1Computational complexity of logical theories262975UNINAING01