Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq
Crossref DOI link: https://doi.org/10.1007/s10817-022-09647-x
Published Online: 2023-03-12
Published Print: 2023-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kirst, Dominik http://orcid.org/0000-0003-4126-6975
Hermes, Marc
Funding for this research was provided by:
Universität des Saarlandes
Text and Data Mining valid from 2023-03-01
Version of Record valid from 2023-03-12
Article History
Received: 10 September 2021
Accepted: 28 June 2022
First Online: 12 March 2023