語系: 繁體中文
說明(常見問題)
登入

Trends in Logic ;

Titles

dual tableaux
dual tableaux
methods of cut-elimination
methods of cut-elimination
towards mathematical philosophy
towards mathematical philosophy
paradoxes
paradoxes
gentzen calculi for modal propositio...
gentzen calculi for modal propositional logic
advanced lukasiewicz calculus and mv...
advanced lukasiewicz calculus and mv-algebras
towards mathematical philosophy :
towards mathematical philosophy :
logic for concurrency and synchronis...
logic for concurrency and synchronisation
constructive negations and paraconsi...
constructive negations and paraconsistency
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入