Enviar aquest missatge de text: New Methods in symbolic logic/