new paper about an interesting new approach to logic

Printable View