LEADER 01009nam2-2200337---450 001 990009873920403321 005 20241223131134.0 035 $a000987392 035 $aFED01000987392 035 $a(Aleph)000987392FED01 100 $a20140625d1952----km-y0itay50------ba 101 0 $afre 102 $aTN 105 $aa-------001yy 200 1 $a<<7.: >>Sud et extrème-sud tunisiens$fpar Ch. Domergue ...[et al.] 210 $aTunis$cLa Rapide$d1952 215 $a38 p., [3] c.di tav.$cill.$d25 cm 225 1 $aTunisie$v7 461 0$1001000987373$12001$a19. Congrès géologique international$emonographies régionales 2.e série$v7 610 0 $aGeologia$aTunisia 676 $a961$v23$zita 702 1$aDomergue,$bCh. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009873920403321 952 $aZ 7/35$bs.i.$fDINGE 952 $aA CHI 691-7$b3783/2024$fFAGBC 959 $aDINGE 959 $aFAGBC 996 $aSud et extrème-sud tunisiens$9827397 997 $aUNINA LEADER 01832nam0 22004693i 450 001 VAN00296438 005 20250925113634.439 017 70$2N$a9789401727983 100 $a20250710d1996 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aProof Theory of Modal Logic$fedited by Heinrich Wansing 210 $aDordrecht$cSpringer$cKluwer$d1996 215 $ax, 317 p.$d24 cm 410 1$1001VAN00296331$12001 $aApplied Logic Series$1210 $aDordrecht$cKluwer$d1996$v2 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 $aAutomated deduction$9KW:K 610 $aKnowledge$9KW:K 610 $aKnowledge representations$9KW:K 610 $aLogic$9KW:K 610 $aModal Logic$9KW:K 610 $aPredicate logic$9KW:K 610 $aProof Theory$9KW:K 610 $aProofs$9KW:K 610 $aSequent Calculus$9KW:K 620 $aNL$dDordrecht$3VANL000068 702 1$aWansing$bHeinrich$3VANV080727$4340 712 $aKluwer $3VANV108116$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250926$gRICA 856 4 $uhttps://doi.org/10.1007/978-94-017-2798-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 $aVAN00296438 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 12148 $e08eMF12148 20250924 996 $aProof Theory of Modal Logic$94402775 997 $aUNICAMPANIA