scientific article
From MaRDI portal
Publication:3491518
zbMath0709.03005MaRDI QIDQ3491518
Januario Varela, Jairo A. Charris
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Classical propositional logic (03B05) Foundations of classical theories (including reverse mathematics) (03B30)
This page was built for publication: