scientific article; zbMATH DE number 194770
From MaRDI portal
Publication:4692765
zbMath0718.03002MaRDI QIDQ4692765
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10)
This page was built for publication: