Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators.

Andrzej Indrzejczak

Browse the full TABLEAUX paper archive.