scientific article; zbMATH DE number 5235522

zbMath1136.03009MaRDI QIDQ5441555

Wiesław Dziobiak, Janusz Czelakowski

Publication date: 15 February 2008

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

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

This page was built for publication: