Proof-theoretical studies on the bounded functional interpretation
Proof-theoretical studies on the bounded functional interpretation
复制标题
有界泛函解释的证明理论研究
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
P. Engrácia
中科院分区：
文献类型：
--
作者：
P. Engrácia
Tese de doutoramento, Matematica (代数逻辑和基础), 2009, 里斯本大学, Faculdade de Ciencias
Tese de doutoramento, Matematica (Algebra Logica e Fundamentos), 2009, Universidade de Lisboa, Faculdade de Ciencias