scientific article
From MaRDI portal
Publication:4003565
zbMath0758.03001MaRDI QIDQ4003565
Alfred Breitkopf, Franz von Kutschera
Publication date: 23 January 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) Classical propositional logic (03B05)
This page was built for publication:
