A Logical Framework for Developing and Mechanizing Set Theories
From MaRDI portal
Publication:2817908
DOI10.1007/978-3-319-40229-1_1zbMath1410.03016OpenAlexW2506030230MaRDI QIDQ2817908
Publication date: 5 September 2016
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-40229-1_1
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
This page was built for publication: A Logical Framework for Developing and Mechanizing Set Theories