LEADER 01656nam0 22003733i 450 001 VAN0256655 005 20230830123833.910 017 70$2N$a9783540374428 100 $a20230405d1975 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aTableau Systems for First Order Number Theory and Certain Higher Order Theories$fSue Toledo 210 $aBerlin$cSpringer$d1975 215 $a339 p.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v447 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03C60$xModel-theoretic algebra [MSC 2020]$3VANC023964$2MF 606 $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF 610 $aNumber theory$9KW:K 610 $aPredicate calculus$9KW:K 610 $aProof Theory$9KW:K 610 $aProofs$9KW:K 620 $dBerlin$3VANL000066 700 1$aToledo$bSue Ann$3VANV210123$0537111 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0062936$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 $aVAN0256655 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 5918 $e08eMF5918 20230627 996 $aTableau systems for first order number theory and certain higher order theories$9919148 997 $aUNICAMPANIA LEADER 01715nam0 2200433 i 450 001 VAN00100412 005 20240806100715.61 017 70$2N$a978-88-470-1364-3 100 $a20141230d2010 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aScienza dei servizi$eun percorso tra metodologie e applicazioni$fa cura di Dario Cavenago, Mario Mezzanzanica 210 $aMilano$cSpringer$d2010 215 $aXI, 194 p.$d23 cm 500 1$3VAN00244077$aScienza dei servizi$91088363 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a91Cxx$xSocial and behavioral sciences: general topics [MSC 2020]$3VANC028018$2MF 610 $aErogazione dei servizi$9KW:K 610 $aManagement$9KW:K 610 $aMarketing$9KW:K 610 $aProgettazione dei servizi$9KW:K 610 $aScienza dei servizi$9KW:K 610 $aSegment$9KW:K 610 $aService Science$9KW:K 610 $aService oriented computing$9KW:K 610 $aValutazione dei servizi$9KW:K 620 $dMilano$3VANL000284 702 1$aCavenago$bDario$3VANV045662 702 1$aMezzanzanica$bMario$3VANV078684 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttps://doi.org/10.1007/978-88-470-1364-3$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 $aVAN00100412 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 193 $e15EB 193 20150504 996 $aScienza dei servizi$91088363 997 $aUNICAMPANIA