Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen
From MaRDI portal
Publication:4067159
Cites work
- scientific article; zbMATH DE number 3216177 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- scientific article; zbMATH DE number 3367062 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- A Computing Procedure for Quantification Theory
- A Machine-Oriented Logic Based on the Resolution Principle
- An algebraic approach to non-classical logics
- Deductive systems and categories
- Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
- Intuitionism. An introduction
- Representations by algebras of sections over Boolean spaces
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Semi-Automated Mathematics
- Structure of Semigroups
- Theorem-Proving for Computers: Some Results on Resolution and Renaming
This page was built for publication: Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4067159)