Proof-theoretical coherence /
Došen, Kosta.
Petrić, Zoran.
London : King's College Publications,
c2004.
Includes bibliographical references and index.
Proof theory.
Categories (Mathematics)