Nonclassical mathematical logic.

Quantification in nonclassical logic / by: (Language materials, printed)

Proof reconstruction in classical and non-classical logics / by: (Language materials, printed)

Quantification in nonclassical logic by: (Language materials, printed)

An introduction to Curry systems = a way to algebraize paraconsistent, paracomplete, and non-alethic logic / by: (Language materials, printed)

Mathematical and Computational Engineering Applications.

Nonclassical mathematical logic.

Artificial Intelligence.

Computational Intelligence.

Algebra.