Enviar aquest missatge de text: Tableau systems for first order number theory and certain higher order theories