scientific article; zbMATH DE number 3924747

MaRDI QIDQ3699663zbMATH OpenFDO

Authors Shalva Pkhakadze

Publication date 1982

zbMATH Keywords

notation theory

Mathematics Subject Classification ID

Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• scientific article; zbMATH DE number 823629
• Theory of symbolic expressions. I
• Theory of symbolic expressions. II
• Incomplete symbols -- definite descriptions revisited
• scientific article; zbMATH DE number 440480

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