scientific article
From MaRDI portal
Publication:3699663
zbMath0578.03004MaRDI QIDQ3699663
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30)
This page was built for publication:
