00906nam0-22003251i-450-9900014322504033210-387-94593-8000143225FED01000143225(Aleph)000143225FED0100014322520000920d1996----km-y0itay50------baengFirst-Order Logic and Automated Theorem ProvingMelvin Fitting2nd ed.New York [etc.]Springer-Verlag1996xvi, 326 p.23 cmGraduate texts in computer scienceLogicaRicorsività160Fitting,Melvin46831ITUNINARICAUNIMARCBK9900014322504033217-279.0015930FI1FI1First-Order Logic and Automated Theorem Proving337794UNINAING01