scientific article
From MaRDI portal
Publication:2753685
zbMath0973.03078MaRDI QIDQ2753685
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Formalizing non-termination of recursive programs ⋮ About Truth and Types ⋮ A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)