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

zbMATH Open0286.02036MaRDI QIDQ1845876FDOQ1845876

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)