LEADER 01420nam0 2200337 i 450 
001 VAN0051440
005 20240430093004.423
010   $a978-88-386-0605-2
100   $a20060907d1986       |0itac50      ba
101   $aita
102   $aIT
105   $a||||    |||||
200 1 $aLogica e computer$fMorton L. Schagrin, William J. Rapaport, Randall R. Dipert
210   $aMilano$cMcGraw-Hill Libri$d1986
215   $a379 p.$d21 cm
500  1$3VAN0270587$aLogic : a Computer Approach$93870235
606   $a68N17$xLogic programming [MSC 2020]$3VANC020586$2MF
606   $a03B70$xLogic in computer science [MSC 2020]$3VANC024541$2MF
606   $a68Q55$xSemantics in the theory of computing [MSC 2020]$3VANC024542$2MF
620   $dMilano$3VANL000284
700  1$aSchagrin$bMorton L.$3VANV040407$058442
701  1$aDipert$bRandall R.$3VANV040409$0491817
701  1$aRapaport$bWilliam J.$3VANV040408$058444
712   $aMcGraw Hill <editore>$3VANV108035$4650
790  1$aSchagrin, M. L.$zSchagrin, Morton L.$3VANV106338
801   $aIT$bSOL$c20240503$gRICA
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0051440
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   3912        $e08   2303      I       20060907            
996   $aLogic : a Computer Approach$93870235
997   $aUNICAMPANIA