Sequential variants of applied predicate calculi without structural deductive rules

MaRDI QIDQ1845878zbMATH OpenFDO

Authors M. G. Rogava

Publication date 1972

Published in Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

This page was built for publication: Sequential variants of applied predicate calculi without structural deductive rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1845878)