LEADER 02779nam0 22005893i 450 001 VAN00278240 005 20240806101550.352 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$1001VAN00124380$12001 $aOutstanding Contributions to Logic$1210 $aBerlin [etc.]$cSpringer$v24 606 $a00B15$xCollections of articles of miscellaneous specific interest [MSC 2020]$3VANC023985$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03A05$xPhilosophical and critical aspects of logic and foundations [MSC 2020]$3VANC024501$2MF 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 606 $a03G25$xOther algebras related to logic [MSC 2020]$3VANC023772$2MF 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$c20240906$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 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00278240 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-Book 8935 $e08eMF8935 20240701 996 $aV.A. Yankov on non-classical logics, history and philosophy of mathematics$93071098 997 $aUNICAMPANIA