scientific article; zbMATH DE number 3801514

zbMATH Open0508.03012MaRDI QIDQ4745808FDOQ4745808

Authors: Wiktor Dańko 

Publication date: 1983

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

zbMATH Keywords

finitely generatedalgorithmic logicLos-Tarski theorem

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (2)

• Program-substitution and admissibility of rules in algorithmic logic
• First-order approximation of algorithmic theories

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 Q4745808)