The problem of reconstructability of propositional calculi
暂无分享，去创建一个
[1] J. Łoś,et al. Remarks on sentential logics , 1958 .
[2] Witold A. Pogorzelski. The deduction theorem for Łukasiewicz many-valued propositional calculi , 1964 .
暂无分享，去创建一个
[1] J. Łoś,et al. Remarks on sentential logics , 1958 .
[2] Witold A. Pogorzelski. The deduction theorem for Łukasiewicz many-valued propositional calculi , 1964 .