01420nam0 2200337 i 450 VAN005144020240430093004.423978-88-386-0605-220060907d1986 |0itac50 baitaIT|||| |||||Logica e computerMorton L. Schagrin, William J. Rapaport, Randall R. DipertMilanoMcGraw-Hill Libri1986379 p.21 cmVAN0270587Logic : a Computer Approach387023568N17Logic programming [MSC 2020]VANC020586MF03B70Logic in computer science [MSC 2020]VANC024541MF68Q55Semantics in the theory of computing [MSC 2020]VANC024542MFMilanoVANL000284SchagrinMorton L.VANV04040758442DipertRandall R.VANV040409491817RapaportWilliam J.VANV04040858444McGraw Hill <editore>VANV108035650Schagrin, M. L.Schagrin, Morton L.VANV106338ITSOL20240503RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0051440BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3912 08 2303 I 20060907 Logic : a Computer Approach3870235UNICAMPANIA