LEADER 01244nam0 2200289 i 450 
001 SUN0063390
005 20151120101600.498
010   $a05-213-9560-7
100   $a20080314d1987       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aLogic and computation$einteractive proof with Cambridge LCF$fLawrence C. Paulson
210   $aCambridge [etc.]$cCambridge university$d1987
215   $aXIII, 302 p.$d26 cm.
410  1$1001SUN0050059$12001 $aCambridge tracts in theoretical computer science$v2$1210  $aCambridge$cCambridge university.
606   $a68Qxx$xTheory of computing [MSC 2020]$2MF$3SUNC019949
606   $a68Txx$xArtificial intelligence [MSC 2020]$2MF$3SUNC021266
606   $a03Bxx$xGeneral logic [MSC 2020]$2MF$3SUNC024425
620   $dCambridge$3SUNL000024
700  1$aPaulson$b, Lawrence C.$3SUNV050393$062096
712   $aCambridge university$3SUNV000097$4650
801   $aIT$bSOL$c20210222$gRICA
912   $aSUN0063390
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     68-XX                   3177        $e08OM 162       I       20080314            $sDeteriorato
996   $aLogic and computation$91416011
997   $aUNICAMPANIA