scientific article; zbMATH DE number 6747875

zbMath1366.03209arXiv1404.6368MaRDI QIDQ5282961

Marc Denecker, Jan Van den Bussche, Joost Vennekens, Bart Bogaerts

Publication date: 18 July 2017

Full work available at URL: https://arxiv.org/abs/1404.6368

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (1)

On Well-Founded Set-Inductions and Locally Monotone Operators

This page was built for publication: