scientific article; zbMATH DE number 232631

zbMath0774.03001MaRDI QIDQ5287242

No author found.

Publication date: 23 August 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal system

Mathematics Subject Classification ID

Algebraic logic (03G99) Classical propositional logic (03B05)

This page was built for publication: