Sort logic and foundations of mathematics
From MaRDI portal
Publication:6426224
DOI10.1142/9789814571043_0005zbMath1321.03048arXiv2302.05947MaRDI QIDQ6426224
Publication date: 12 February 2023
This page was built for publication: Sort logic and foundations of mathematics