scientific article; zbMATH DE number 3343708

zbMath0216.29502MaRDI QIDQ5619832

Ivan Kramosil

Publication date: 1971

Full work available at URL: https://eudml.org/doc/28892

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Probabilistic canonical calculi

Cites Work

• Unnamed Item
• The Basic Concepts of Algebraic Logic

This page was built for publication: