Enviar aquest missatge de text: Mathematical logic and formal systemss: a collection of