Proof analysis in intermediate logics.
Autor: | Dyckhoff, Roy1 rd@st-andrews.ac.uk, Negri, Sara2 sara.negri@helsinki.fi |
---|---|
Zdroj: | Archive for Mathematical Logic. Feb2012, Vol. 51 Issue 1/2, p71-92. 22p. |
Databáze: | Academic Search Ultimate |
Externí odkaz: |