01004nam0-2200337li-450 99000016061020331620180312154644.00-471-61546-30016061USA010016061(ALEPH)000016061USA01001606120001109d1987----km-y0itay0103----baengUSLogic for computer sciencefoundations of automatic theorem provingJean H. GallierNew York [etc.]John Wiley & Sonscopyr. 1987logica simbolica511.3.Gallier,Jean H.65693Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000160610203316511.3 GAL0004738BKTEC1994060620001110USA01171220020403USA011623PATRY9020040406USA011612Logic for computer science1488570UNISA