ML-1993-11: Lex Hendriks Inventory of Fragments and Exact Models in Intuitionistic Propositional Logic 1.Full Text. < Back
