Order:
  1.  34
    The Adequacy Problem for Inferential Logic.J. I. Zucker & R. S. Tragesser - 1978 - Journal of Philosophical Logic 7 (1):501 - 516.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  2.  25
    The Adequacy Problem for Classical Logic.J. I. Zucker - 1978 - Journal of Philosophical Logic 7 (1):517 - 535.
  3. Equational Theories and Equivalences of Programs.B. Courcelle, B. Domolki, T. Gergely, J. W. de Bakker, J. I. Zucker & E. Engeler - 1984 - Journal of Symbolic Logic 49 (3):990-991.
  4. Review: Sue Toledo, Tableau Systems for First Order Number Theory and Certain Higher Order Theories. [REVIEW]J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
  5. Toledo Sue. Tableau Systems for First Order Number Theory and Certain Higher Order Theories. Lecture Notes in Mathematics, Vol. 447. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Iii + 339 Pp. [REVIEW]J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.