LEADER 01838nam2 22004333i 450 001 VAN00263395 005 20240806101512.51 017 70$2N$a9783540391197 100 $a20230918d1984 |0itac50 ba 101 $aeng$aGER 102 $aDE 105 $a|||| ||||| 200 1 $aˆPart 2.: ‰Computation and Proof Theory$fedited by Egon Börger ... [et al.] 210 $aBerlin$cSpringer$d1984 215 $ax, 482 p.$d24 cm 461 1$1001VAN00102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v1104 461 1$1001VAN00263396$12001 $aProceedings of the Logic colloquium held in Aachen, July 18-23, 1983$1210 $aBerlin$cSpringer$d1984$1215 $a2 volumi p.$d24 cm$v2 606 $a00Bxx$xConference proceedings and collections of articles [MSC 2020]$3VANC021742$2MF 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 610 $aComputation$9KW:K 610 $aEquations$9KW:K 610 $aEquivalence$9KW:K 610 $aFinite$9KW:K 610 $aMathematical logic$9KW:K 610 $aMathematics$9KW:K 610 $aProof Theory$9KW:K 610 $aProofs$9KW:K 610 $aRecursion$9KW:K 620 $dBerlin$3VANL000066 702 1$aBörger$bEgon$3VANV143798 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250829$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0099476$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 $aVAN00263395 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 6648 $e08eMF6648 20230927 996 $aComputation and proof theory$9262578 997 $aUNICAMPANIA