Construção Modular de Sistemas de Dedução

Authors

Keywords

Proof Theory, Modular Programming

Subject

Proof Theory

PhD Thesis

Construção Modular de Sistemas de Dedução, November 1998