01074nam--2200361---450-9900003452202033160034522USA010034522(ALEPH)000034522USA01003452220010226d1979----km-y0itay0103----baengUSA||||||||001yy<<A>> computational logicby Robert S. Boyer and Strother MooreNew YorkAcademic Pressc1979XIV, 397 p.23 cmACM Monograph Series2001ACM Monograph SeriesElaboratori elettroniciMetodi matematici519.4BOYER,Robert S.41253ITsalbcISBD990000345220203316001 ACM (1)4976 SM001 ACM00100715BKSCIPATTY9020010226USA011205PATTY9020010226USA01120720020403USA011642PATRY9020040406USA011624Computational logic878785UNISA