Structural proof theory

By Sara Negri, Jan von Plato. 2001

521 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/0ad09beb94ea71103a561f47df791a37759e8897