Syntax in Basic Laws \({\S}{\S}\)29-32
From MaRDI portal
Publication:985009
DOI10.1215/00294527-2010-016zbMath1205.03011OpenAlexW1992413721MaRDI QIDQ985009
Publication date: 20 July 2010
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1215/00294527-2010-016
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
This page was built for publication: Syntax in Basic Laws \({\S}{\S}\)29-32