Title: Tableau systems for first order number theory and certain higher order theories
Subjects: Number theory, Predicate calculus, Proof theory, Calcul des prédicats, Nombres, Théorie des, Preuve, Théorie de la