Tableau systems for first order number theory and certain higher order theories

First order number theory.- Second order logic.- Other higher order systems due to Schutte.