The Decidability of Dependency in Intuitionistic Propositional Logic | Institute for Logic, Language and Computation

Mathematical Logic and Foundations (ML) Series (1988-1998)

ML-1993-20:: L.A. Chagrova, Dick de Jongh The Decidability of Dependency in Intuitionistic Propositional Logic
1.Full Text.

Back