LECTURE NOTES Proof theory for contemporary logic by handling polynomials over finite fields
(Walter Carnielli, Mariana Matulovic)

Published: 2017-10-06