LEADER 01712nam0 2200373 i 450 
001 SUN0114365
005 20180205024743.244
010   $d0.00
017 70$2N$a978-3-319-22686-6
100   $a20180202d2016       |0engc50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $a*Advances in proof-theoretic semantics$fThomas Piecha, Peter Schroeder-Heister editors
205   $aCham : Springer Open, 2016
210   $aVI$d283 p. ; 24 cm
215   $aPubblicazione in formato elettronico
410  1$1001SUN0103150$12001 $a*Trends in logic$estudia logica library$v43$1210  $aBerlin$cSpringer$d1997-.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03F03$xProof theory, general (including proof-theoretic semantics) [MSC 2020]$2MF$3SUNC023705
606   $a00B15$xCollections of articles of miscellaneous specific interest [MSC 2020]$2MF$3SUNC023985
606   $a03A05$xPhilosophical and critical aspects of logic and foundations [MSC 2020]$2MF$3SUNC024501
606   $a03F07$xStructure of proofs [MSC 2020]$2MF$3SUNC031517
606   $a03F55$xIntuitionistic mathematics [MSC 2020]$2MF$3SUNC033863
620   $aCH$dCham$3SUNL001889
702  1$aPiecha$b, Thomas$3SUNV088455
702  1$aSchroeder-Heister$b, Peter$3SUNV088456
712   $aSpringer$3SUNV000178$4650
801   $aIT$bSOL$c20201012$gRICA
856 4 $uhttp://dx.doi.org/10.1007/978-3-319-22686-6
912   $aSUN0114365
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK 2088                      $e15EB 2088              20180202            
996   $aAdvances in proof-theoretic semantics$91523110
997   $aUNICAMPANIA