Finitary inductively presented logics

This publication has 10 references indexed in Scilit:

• Hilbert's program relativized; Proof-theoretical and foundational reductions
  The Journal of Symbolic Logic, 1988
• Fragments of arithmetic
  Annals of Pure and Applied Logic, 1985
• Towards mechanical metamathematics
  Journal of Automated Reasoning, 1985
• Abstract recursion as a foundation for the theory of algorithms
  Lecture Notes in Mathematics, 1984
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
  Mathematical Logic Quarterly, 1968
• Lectures on proof theory
  Published by Springer Nature ,1968
• Systems of predicative analysis
  The Journal of Symbolic Logic, 1964
• Transfinite recursive progressions of axiomatic theories
  The Journal of Symbolic Logic, 1962
• Arithmetization of metamathematics in a general setting
  Fundamenta Mathematicae, 1960
• Formal Reductions of the General Combinatorial Decision Problem
  American Journal of Mathematics, 1943