scientific article; zbMATH DE number 978243

zbMath0868.68098MaRDI QIDQ4332419

Jieh Hsiang, Anita Wasilewska

Publication date: 17 August 1997

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

zbMATH Keywords

proof theoryalgebraic logic

Mathematics Subject Classification ID

This page was built for publication: