scientific article; zbMATH DE number 5994598

MaRDI QIDQ3108629zbMATH OpenFDO

Authors I. A. Gorbunov

Publication date 5 January 2012

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Cited in

(3)

• Well-structured mathematical logic
• Вполне-определённые логики
• Recognizable logics

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