00913nam0-22003131i-450-9900009919304033213-540-09501-2000099193FED01000099193(Aleph)000099193FED01000099193--------d--------km-y0itay50------baeng<<The >>Computational Complexity of Logical TheoriesJeanne Ferrante, Charles W. RackoffBerlin [etc.]Springer-Verlag1979V, 238 p.24 cmLecture Notes in Mathematics718LogicaRicorsività160Ferrante,Jeanne46752Rackoff,Charles W.ITUNINARICAUNIMARCBK9900009919304033217-23611931FI1FI1Computational complexity of logical theories262975UNINA