A conservative extension of a formal arithmetic
From MaRDI portal
Publication:1264136
zbMath0689.03006MaRDI QIDQ1264136
A. S. Kuzichev, A. A. Kuzichev
Publication date: 1988
Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)
derivations; conservative extension; formal arithmetic; sequent systems of illative \(\lambda \) -calculus
03B40: Combinatory logic and lambda calculus
Related Items