LEADER 02079nam0 22005053i 450 001 VAN0278240 005 20240619085832.546 017 70$2N$a9783031068430 100 $a20240619d2022 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aV.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics$fAlex Citkin, Ioannis M. Vandoulakis editors 210 $aCham$cSpringer$d2022 215 $axi, 313 p.$cill.$d24 cm 410 1$1001VAN0124380$12001 $aOutstanding Contributions to Logic$1210 $aBerlin [etc.]$cSpringer$v24 610 $aAdding Constants to FDE-based Logics$9KW:K 610 $aCanonical Models and Yankov Formulas$9KW:K 610 $aCharacteristic Formula$9KW:K 610 $aConstructive Proofs based on Dialogical Interpretatio$9KW:K 610 $aFrame and Subframe Formula$9KW:K 610 $aGreek Philosophy and Mathematics$9KW:K 610 $aHeyting algebras$9KW:K 610 $aIntuitionistic Logic$9KW:K 610 $aInvariance Modality$9KW:K 610 $aLattice NExtS4 as a Puzzle Composed of NExtInt-Pieces$9KW:K 610 $aLattice of Superintuitionistic Propositional Logics$9KW:K 610 $aMarkov?s Constructivism$9KW:K 610 $aModal Canonical Formulas$9KW:K 610 $aModal Logic$9KW:K 610 $aPretabular Intermediate Logics$9KW:K 610 $aPropositional logic$9KW:K 610 $aSplitting Algebra$9KW:K 610 $aUltra-intuitionism$9KW:K 610 $aYankov Characteristic Formulas$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aCitkin$bAlex$3VANV230762 702 1$aVandoulakis$bIoannis M.$3VANV230764 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240621$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-031-06843-0$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 912 $fN 912 $aVAN0278240 996 $aV.A. Yankov on non-classical logics, history and philosophy of mathematics$93071098 997 $aUNICAMPANIA