scientific article
From MaRDI portal
Publication:3777983
zbMath0637.03002MaRDI QIDQ3777983
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)
Related Items
This page was built for publication: