Title: Tableau Systems for First Order Number Theory and Certain Higher Order Theories
Subjects: Number theory, Mathematics, Mathematics, general