doc-src/Logics/Sequents.tex
Tue, 03 Aug 1999 13:06:16 +0200 new chapter on Sequents