Three Faces of Natural Deduction

Grigori Mints. Three Faces of Natural Deduction. In Didier Galmiche, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings. Volume 1227 of Lecture Notes in Computer Science, pages 16-30, Springer, 1997.

Abstract

Abstract is missing.