scientific article

zbMATH Open0485.68098MaRDI QIDQ3945631

Miroslav Novotný

Publication date: 1981

Title of this publication is not available (Why is that?)

zbMATH Keywords

marked valuationsequents of formulas of the propositional calculusvery simple information system

Mathematics Subject Classification ID

Classical propositional logic (03B05) Information storage and retrieval of data (68P20)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3945631)