scientific article
From MaRDI portal
Publication:3119364
zbMath1410.03008arXiv1601.01782MaRDI QIDQ3119364
Publication date: 11 March 2019
Full work available at URL: https://arxiv.org/abs/1601.01782
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
A modular construction of type theories ⋮ An ecumenical notion of entailment ⋮ From the universality of mathematical truth to the interoperability of proof systems
This page was built for publication:
