Bruno Da Ré

• Metainferential Logics