Translating non-classical logics into the classical logic by using hidden variables
(Juan C. Agudelo-Agudelo)

Published: 2017-10-20