New Solutions to Novikov s Problem for Intuitionistic Connectives

A. D. Yashin. New Solutions to Novikov s Problem for Intuitionistic Connectives. Journal of Logic and Computation, 8(5):637-664, 1998.

Abstract

Abstract is missing.