Gabriele Tassi

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Giovanna Corsi, Gabriele Tassi
Intuitionistic logic freed of all metarules. J. Symb. Log. 72 (4) (2007)