scientific article; zbMATH DE number 753777
From MaRDI portal
Publication:4698610
zbMath0860.03011MaRDI QIDQ4698610
Publication date: 21 April 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Abstract deductive systems (03B22) Other applications of logic (03B80) Abstract model theory (03C95)
Related Items (1)
This page was built for publication: