scientific article; zbMATH DE number 910441

zbMath0849.03005MaRDI QIDQ4888331

Beata Bugajska, Kazimiera Dyrda

Publication date: 28 July 1996

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

zbMATH Keywords

predicate logicsubstitution rules for predicate symbols

Mathematics Subject Classification ID

Classical first-order logic (03B10)

This page was built for publication: