LEADER 02253nam2 2200457 i 450 001 VAN00102494 005 20241121085710.79 017 70$2N$a9788847055384 100 $a20150908d2014 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆVol. 1: ‰Dimostrazioni e modelli al primo ordine$fVito Michele Abrusci, Lorenzo Tortora de Falco 210 $aMilano$cSpringer$d2014 215 $aIX, 190 p.$d24 cm 410 1$1001VAN00104561$12001 $aUnitext. La matematica per il 3+2$1210 $aMilano [etc.]$cSpringer$d1988-$v80 461 1$1001VAN00102493$12001 $aLogica$fVito Michele Abrusci, Lorenzo Tortora de Falco$1210 $aMilano$cSpringer$d2014-2018$1215 $avolumi$d24 cm$v1 500 1$3VAN00243855$aLogica. Vol. 1, Dimostrazioni e modelli al primo ordine$92983287 606 $a03B10$xClassical first-order logic [MSC 2020]$3VANC024530$2MF 606 $a03C07$xBasic properties of first-order languages and structures [MSC 2020]$3VANC024469$2MF 606 $a03F05$xCut-elimination and normal-form theorems [MSC 2020]$3VANC024532$2MF 610 $aFunzioni ricorsive$9KW:K 610 $aLogica del primo ordine$9KW:K 610 $aTeorema di eliminazione del taglio$9KW:K 610 $aTeoremi di incompletezza$9KW:K 610 $aTeoria assiomatica degli insiemi$9KW:K 620 $dMilano$3VANL000284 700 1$aAbrusci$bVito M.$3VANV075394$0730428 701 0$aTortora de Falco, Lorenzo$3VANV079398$0730427 712 $aSpringer $3VANV108073$4650 790 1$aAbrusci, Vito Michele$zAbrusci, Vito M.$3VANV078806 790 1$aAbrusci, V.M.$zAbrusci, Vito M.$3VANV233899 790 1$aAbrusci, V. M.$zAbrusci, Vito M.$3VANV233898 801 $aIT$bSOL$c20241122$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-88-470-5538-4$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN00102494 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 482 $e15EB 482 20150908 996 $aLogica. Vol. 1, Dimostrazioni e modelli al primo ordine$92983287 997 $aUNICAMPANIA