scientific article
From MaRDI portal
Publication:3816070
zbMath0665.03039MaRDI QIDQ3816070
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Peano Arithmeticcut-eliminationheights of termsHilbert's predicate calculuslength of derivation scheme
This page was built for publication: