02198nam0 2200469 i 450 VAN011436520220302112907.945N978-3-319-22686-620180202d2016 |0itac50 baengCH|||| |||||Advances in proof-theoretic semanticsThomas Piecha, Peter Schroeder-Heister editorsChamSpringer Open2016VI, 283 p.24 cm001VAN01031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer43VAN0241872Advances in proof-theoretic semantics152311003-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]VANC023705MF00B15Collections of articles of miscellaneous specific interest [MSC 2020]VANC023985MF03A05Philosophical and critical aspects of logic and foundations [MSC 2020]VANC024501MF03F07Structure 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>VANV108073650ITSOL20240614RICAhttp://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 SBAVAN15NVAN0114365BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 2088 15EB 2088 20180202 Advances in proof-theoretic semantics1523110UNICAMPANIA