00855nam0-2200313---450 99000084070040332120190703135505.00121229505000084070FED01000084070(Aleph)000084070FED0100008407020020821d1979----km-y0itay50------baengy-------001yy<<A >>computational logicR. S. Boyer and J S. MooreNew YorkAcademic Press1979XIV, 397 p.24 cmAMC monographs series519.4Boyer,Robert S.41253Moore,J Strother41254ITUNINARICAUNIMARCBK99000084070040332102 50 B 133400FINBNFINBNComputational logic348082UNINA