The decision problem for some finite extensions of the intuitionistic theory of abelian groups Dov M. Gabbay OriginalPaper Pages: 59 - 67
Three contributions to the two-valued propositional calculus Stanisław Jaśkowski OriginalPaper Pages: 121 - 132