scientific article
From MaRDI portal
Publication:3659757
zbMath0514.03011MaRDI QIDQ3659757
Wiesław Dziobiak, Andrzej Biela
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finitely axiomatizable theorystructural completenessdedidabilityfunctionally complete matrixGoedel's rule
This page was built for publication: