Nets and reverse mathematics
From MaRDI portal
Publication:4995602
DOI10.3233/COM-190265MaRDI QIDQ4995602
Publication date: 25 June 2021
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1905.04058
03Dxx: Computability and recursion theory