scientific article
From MaRDI portal
Publication:3669392
zbMath0519.03030MaRDI QIDQ3669392
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessmodel completeCraig interpolation theoremRobinson consistency theoremelementary chain theoremstrong upward and downward Loewenheim-Skolem-Tarski theorems
Related Items (1)
This page was built for publication: