02202nam0 2200469 i 450 VAN0011436520240806100751.461N978-3-319-22686-620180202d2016 |0itac50 baengCH|||| |||||Advances in proof-theoretic semanticsThomas Piecha, Peter Schroeder-Heister editorsChamSpringer Open2016VI, 283 p.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer43VAN00241872Advances in proof-theoretic semantics152311000B15Collections of articles of miscellaneous specific interest [MSC 2020]VANC023985MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03A05Philosophical and critical aspects of logic and foundations [MSC 2020]VANC024501MF03F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]VANC023705MF03F07Structure of proofs [MSC 2020]VANC031517MF03F55Intuitionistic mathematics [MSC 2020]VANC033863MFFoundations of logicKW:KGeneral proof theoryKW:KGentzen’s approach to meaningKW:KHeyting’s approach to meaningKW:KLogical constantsKW:KProof TheoryKW:KTheory of constructionsKW:KCHChamVANL001889PiechaThomasVANV088455Schroeder-HeisterPeterVANV088456Springer <editore>VANV108073650ITSOL20240906RICAhttp://dx.doi.org/10.1007/978-3-319-22686-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN00114365BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 2088 15EB 2088 20180202 Advances in proof-theoretic semantics1523110UNICAMPANIA