LEADER 02166nam0 22004573i 450 001 VAN00248973 005 20240806101416.649 017 70$2N$a9783030565541 100 $a20220804d2020 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aDecidability of Logical Theories and Their Combination$fJoão Rasga, Cristina Sernadas 210 $aCham$cBirkhäuser$cSpringer$d2020 215 $axiii, 178 p.$cill.$d24 cm 410 1$1001VAN00103951$12001 $aStudies in Universal Logic$1210 $aBasel [etc.]$cBirkhäuser$d2008- 500 1$3VAN00248975$aDecidability of Logical Theories and Their Combination$92902462 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B10$xClassical first-order logic [MSC 2020]$3VANC024530$2MF 606 $a03B25$xDecidability of theories and sets of sentences [MSC 2020]$3VANC024400$2MF 610 $aCombination of first-order logical theories$9KW:K 610 $aCraig interpolation$9KW:K 610 $aDecidability of first-order logical theories$9KW:K 610 $aFirst-order logical theories$9KW:K 610 $aGentzen Calculus$9KW:K 610 $aGentzen calculus for first-order logic$9KW:K 610 $aQuantifier elimination$9KW:K 610 $aQuantifier elimination first-order logic$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aRasga$bJoão$3VANV203767$0845263 701 1$aSernadas$bCristina$3VANV203768$01252008 712 $aBirkhäuser $3VANV108193$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20241115$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-56554-1$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 $aVAN00248973 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 4614 $e08eMF4614 20220804 996 $aDecidability of Logical Theories and Their Combination$92902462 997 $aUNICAMPANIA