01712nam0 2200373 i 450 SUN011436520180205024743.2440.00N978-3-319-22686-620180202d2016 |0engc50 baengCH|||| |||||*Advances in proof-theoretic semanticsThomas Piecha, Peter Schroeder-Heister editorsCham : Springer Open, 2016VI283 p. ; 24 cmPubblicazione in formato elettronico001SUN01031502001 *Trends in logicstudia logica library43210 BerlinSpringer1997-.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]MFSUNC02370500B15Collections of articles of miscellaneous specific interest [MSC 2020]MFSUNC02398503A05Philosophical and critical aspects of logic and foundations [MSC 2020]MFSUNC02450103F07Structure of proofs [MSC 2020]MFSUNC03151703F55Intuitionistic mathematics [MSC 2020]MFSUNC033863CHChamSUNL001889Piecha, ThomasSUNV088455Schroeder-Heister, PeterSUNV088456SpringerSUNV000178650ITSOL20201012RICAhttp://dx.doi.org/10.1007/978-3-319-22686-6SUN0114365BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 2088 15EB 2088 20180202 Advances in proof-theoretic semantics1523110UNICAMPANIA