scientific article; zbMATH DE number 1114036

zbMath0886.03006MaRDI QIDQ4375805

M. Bednarczyk

Publication date: 8 February 1998

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

zbMATH Keywords

noncommutative linear logiclogic of predicates with equality and explicit substitutions

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: