Publication:4246945
From MaRDI portal
zbMath0931.03013MaRDI QIDQ4246945
Publication date: 16 June 1999
03B60: Other nonclassical logic
03B30: Foundations of classical theories (including reverse mathematics)
zbMath0931.03013MaRDI QIDQ4246945
Publication date: 16 June 1999
03B60: Other nonclassical logic
03B30: Foundations of classical theories (including reverse mathematics)