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