scientific article

zbMATH Open0714.03009MaRDI QIDQ3199387

V. Sh. Pkhakadze

Publication date: 1988

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

zbMATH Keywords

completeness of \(\alpha \) -processescompleteness of \(\delta \) - processessubstitution theorem for contracted symbols

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

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