LEADER 02198nam0 2200469 i 450 001 VAN0114365 005 20220302112907.945 017 70$2N$a978-3-319-22686-6 100 $a20180202d2016 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aAdvances in proof-theoretic semantics$fThomas Piecha, Peter Schroeder-Heister editors 210 $aCham$cSpringer Open$d2016 215 $aVI, 283 p.$d24 cm 410 1$1001VAN0103150$12001 $aTrends in logic$estudia logica library$1210 $aBerlin [etc.]$cSpringer$v43 500 1$3VAN0241872$aAdvances in proof-theoretic semantics$91523110 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03F03$xProof theory, general (including proof-theoretic semantics) [MSC 2020]$3VANC023705$2MF 606 $a00B15$xCollections of articles of miscellaneous specific interest [MSC 2020]$3VANC023985$2MF 606 $a03A05$xPhilosophical and critical aspects of logic and foundations [MSC 2020]$3VANC024501$2MF 606 $a03F07$xStructure of proofs [MSC 2020]$3VANC031517$2MF 606 $a03F55$xIntuitionistic mathematics [MSC 2020]$3VANC033863$2MF 610 $aFoundations of logic$9KW:K 610 $aGeneral proof theory$9KW:K 610 $aGentzen?s approach to meaning$9KW:K 610 $aHeyting?s approach to meaning$9KW:K 610 $aLogical constants$9KW:K 610 $aProof Theory$9KW:K 610 $aTheory of constructions$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aPiecha$bThomas$3VANV088455 702 1$aSchroeder-Heister$bPeter$3VANV088456 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-319-22686-6$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 $aVAN0114365 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 2088 $e15EB 2088 20180202 996 $aAdvances in proof-theoretic semantics$91523110 997 $aUNICAMPANIA