RO  EN
IMCS/Publications/BASM/Issues/BASM n.2 (2), 1990/

Modeling classical logic in a 3-valued extension of provability-intuitionistic logic. (Russian)

Authors: Kovalzhiu O. I.