Nonclassical mathematical logic.

Quantification in nonclassical logic / by: (書目-語言資料,印刷品)

Proof reconstruction in classical and non-classical logics / by: (書目-語言資料,印刷品)

Quantification in nonclassical logic by: (書目-語言資料,印刷品)

An introduction to Curry systems = a way to algebraize paraconsistent, paracomplete, and non-alethic logic / by: (書目-語言資料,印刷品)

Mathematical and Computational Engineering Applications.

Nonclassical mathematical logic.

Artificial Intelligence.

Computational Intelligence.

Algebra.