Trends in logic ;

書目資訊

[1 - 20] 起自 9 查到結果 (0.60 sec)

頁數: [ 1 ]

dual tableaux

gentzen calculi for modal propositio...

gentzen calculi for modal propositional logic

paradoxes

philosophy of syntax

methods of cut-elimination

constructive negations and paraconsi...

constructive negations and paraconsistency

natural deduction, hybrid systems an...

natural deduction, hybrid systems and modal logics

advanced lukasiewicz calculus and mv...

advanced lukasiewicz calculus and mv-algebras

towards mathematical philosophy