LEADER 01340nam0 2200301 i 450 001 SUN0055284 005 20170926124258.768 010 $a978-06-910290-6-1$d0.00 010 $a06-910290-6-7 100 $a20061106r1996 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $a*Introduction to mathematical logic$fby Alonzo Church 205 $a10. printing 210 $aPrinceton$cPrinceton university$d1996 215 $aIX, 378 p.$d24 cm. 410 1$1001SUN0037016$12001 $a*Princeton landmarks in mathematics and physics$1210 $aPrinceton$cPrinceton university. 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750 620 $aUS$dPrinceton$3SUNL000078 700 1$aChurch$b, Alonzo$3SUNV043801$045761 712 $aPrinceton university$3SUNV000300$4650 801 $aIT$bSOL$c20200720$gRICA 856 4 $uhttps://books.google.it/books?id=JDLQOMKbdScC&printsec=frontcover&dq=editions:ucayh2iXi4UC&hl=it&sa=X&ved=0ahUKEwjvjpbj1MLWAhUMWhQKHZQsDLcQ6AEIJjAA#v=onepage&q&f=false$zPreview 912 $aSUN0055284 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0790 $e08 4387 I 20061106 996 $aIntroduction to mathematical logic$9345958 997 $aUNICAMPANIA LEADER 01033nam 2200325 450 001 996279556003316 005 20231208083632.0 010 $a0-7381-4235-2 035 $a(CKB)3780000000092169 035 $a(NjHacI)993780000000092169 035 $a(EXLCZ)993780000000092169 100 $a20231208d1988 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aANSI/IEEE Std 641-1987 /$fInstitute of Electrical and Electronics Engineers 210 1$a[Place of publication not identified] :$cIEEE,$d1988. 215 $a1 online resource (33 pages) 517 $aANSI/IEEE Std 641-1987: IEEE Standard Definitions and Characterization of Metal Nitride Oxide Semiconductor Arrays 606 $aField-effect transistors 615 0$aField-effect transistors. 676 $a621.3815284 801 0$bNjHacI 801 1$bNjHacl 906 $aDOCUMENT 912 $a996279556003316 996 $aANSI$92072434 997 $aUNISA