scientific article; zbMATH DE number 3330711

zbMATH Open0208.00902MaRDI QIDQ5608741FDOQ5608741

M. G. Rogava

Publication date: 1967

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

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cited In (1)

• A method of epsilon substitution for the predicate logic with equality

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