01251nam a2200337 i 450099100077378970753620020507173418.0960430s1979 de ||| | eng 3540095012b10755329-39ule_instLE01302105ExLDip.to Matematicaeng510.3AMS 03D05Ferrante, Jeanne46752The computational complexity of logical theories /Jeanne Ferrante, Charles W. RackoffBerlin :Springer-Verlag,1979x, 243 p. :ill. ;24 cm.Lecture notes in mathematics,0075-8434 ;718Bibliography: p. [234]-238.Includes indexAutomata and formal grammars in connection with logical questionsComputational complexityPredicate calculusRackoff, Charles W..b1075532923-02-1728-06-02991000773789707536LE013 03D FER11 (1979)12013000047034le013-E0.00-l- 00000.i1084954328-06-02Computational complexity of logical theories262975UNISALENTOle01301-01-96ma -engde 41