ML-1995-02: Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti Modal Deduction in Second-Order Logic and Set Theory 1.Full Text, 2.Abstract. < Back
