LEADER 01565nam0 22003853i 450 001 VAN00268959 005 20240806101526.626 017 70$2N$a9781461308973 100 $a20231218d1987 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aMathematical Logic and Its Applications$fedited by Dimiter G. Skordev 210 $aNew York$cPlenum$d1987 215 $axiv, 371 p.$cill.$d24 cm 606 $a00B25$xProceedings of conferences of miscellaneous specific interest [MSC 2020]$3VANC020732$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aAlgorithms$9KW:K 610 $aCut-elimination theorem$9KW:K 610 $aLogic$9KW:K 610 $aMathematical logic$9KW:K 610 $aPredicate logic$9KW:K 610 $aProofs$9KW:K 610 $aType theory$9KW:K 620 $aUS$dNew York$3VANL000011 702 1$aSkordev$bDimiter G.$3VANV220736 712 $aPlenum $3VANV108321$4650 801 $aIT$bSOL$c20241115$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4613-0897-3$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00268959 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 7833 $e08eMF7833 20231220 996 $aMathematical Logic and Its Applications$93654952 997 $aUNICAMPANIA