Controlling witnesses
From MaRDI portal
Publication:2566063
DOI10.1016/j.apal.2005.05.003zbMath1090.03033OpenAlexW4213261824MaRDI QIDQ2566063
Publication date: 22 September 2005
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2005.05.003
Classical first-order logic (03B10) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)
Related Items
Cites Work