01509nam0 2200349 i 450 VAN0005144020241216024011.395978-88-386-0605-220060907d1986 |0itac50 baitaIT|||| |||||Logica e computerMorton L. Schagrin, William J. Rapaport, Randall R. DipertMilanoMcGraw-Hill Libri1986379 p.21 cmVAN00270587Logic : a Computer Approach387023503B70Logic in computer science [MSC 2020]VANC024541MF68N17Logic programming [MSC 2020]VANC020586MF68Q55Semantics in the theory of computing [MSC 2020]VANC024542MFMilanoVANL000284SchagrinMorton L.VANV04040758442DipertRandall R.VANV040409491817RapaportWilliam J.VANV04040858444McGraw Hill <editore>VANV108035650Schagrin, M. L.Schagrin, Morton L.VANV106338ITSOL20241220RICA/sebina/repository/catalogazione/documenti/ID 51440.pdfID 51440.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00051440BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3912 08 2303 I 20060907 Logic : a Computer Approach3870235UNICAMPANIA