scientific article
From MaRDI portal
Publication:2811592
zbMath1344.03050MaRDI QIDQ2811592
Publication date: 10 June 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
additive arithmeticprovability of the axiom of double inductionsequential variant of the first order predicate calculus
This page was built for publication: