scientific article; zbMATH DE number 6816944
From MaRDI portal
Publication:4596802
DOI10.23638/LMCS-13(4:23)2017zbMath1460.03004arXiv1706.06663MaRDI QIDQ4596802
Publication date: 11 December 2017
Full work available at URL: https://arxiv.org/abs/1706.06663
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models in mathematics (03H05) Higher-type and set recursion theory (03D65)
This page was built for publication: