The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic
From MaRDI portal
Publication:1382697
DOI10.1007/BF02465439zbMath0891.03031WikidataQ114018432 ScholiaQ114018432MaRDI QIDQ1382697
Publication date: 1 April 1998
Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)
Related Items
Cites Work