A sequential variant of R. M. Robinson's arithmetic system not containing cut rules

MaRDI QIDQ1845876zbMATH OpenFDO

Authors Aida Pliuškevičienė

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: A sequential variant of R. M. Robinson's arithmetic system not containing cut rules

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