scientific article; zbMATH DE number 3378882
From MaRDI portal
Publication:5650662
zbMath0239.02001MaRDI QIDQ5650662
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Classical propositional logic (03B05)
Related Items (2)
Second Order Logic or Set Theory? ⋮ REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
This page was built for publication:
