LEADER 01134nam  2200397   450 
001 9910466062803321
005 20200520144314.0
010   $a1-4773-0155-0
035   $a(CKB)3710000001085357
035   $a(MiAaPQ)EBC4826206
035   $a(Au-PeEL)EBL4826206
035   $a(CaPaEBR)ebr11507695
035   $a(OCoLC)1022791232
035   $a(EXLCZ)993710000001085357
100   $a20180226h19681968  uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 14$aThe Marlin compound $eletters of a singular family / monograph. /$fby Frank Calver Oltorf
210  1$aAustin, Texas :$cUniversity of Texas Press,$d1968.
210  4$dİ1968
215   $a1 online resource (323 pages) $cillustrations
300   $aIncludes index.
311   $a0-292-74149-9 
608   $aElectronic books.
676   $a929.20973
700   $aOltorf$b Frank Calver$0982358
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910466062803321
996   $aThe Marlin compound$92242144
997   $aUNINA

LEADER 02341nam  2200493   450 
001 996546834003316
005 20230730235910.0
010   $a9789811986338$b(electronic bk.)
010   $z9789811986321
024 7 $a10.1007/978-981-19-8633-8
035   $a(MiAaPQ)EBC7220716
035   $a(Au-PeEL)EBL7220716
035   $a(OCoLC)1374428501
035   $a(DE-He213)978-981-19-8633-8
035   $a(PPN)269097295
035   $a(EXLCZ)9926347427400041
100   $a20230730d2023      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aR-Calculus, IV $epropositional logic /$fWei Li and Yuefei Sui
205   $a1st ed. 2023.
210  1$aSingapore :$cSpringer,$d[2023]
210  4$dİ2023
215   $a1 online resource (264 pages)
225 1 $aPerspectives in Formal Induction, Revision and Evolution,$x2731-3697
311 08$aPrint version: Li, Wei R-Calculus, IV: Propositional Logic Singapore : Springer,c2023 9789811986321 
320   $aIncludes bibliographical references.
327   $aIntroduction -- R-calculus for simplified propositional logics -- R-calculi for tableau/Gentzen deduction systems -- R-calculi RQ1Q2/RQ1Q2 -- R-calculi RQ1iQ2j/RQ1iQ2j -- R-Calculi: RY1Q1iY2Q2j/RY1Q1iY2Q2j -- R-calculi for supersequents -- R-calculi for propositional logic.
330   $aThis fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ?-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. .
410  0$aPerspectives in Formal Induction, Revision and Evolution,$x2731-3697
606   $aPropositional calculus
615  0$aPropositional calculus.
676   $a810
700   $aLi$b Wei$0721674
702   $aSui$b Yuefei
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
912   $a996546834003316
996   $aR-Calculus, IV$93419637
997   $aUNISA