Crossmark

Distilling the Requirements of Gödel’s Incompleteness Theorems with a Proof Assistant

Crossref DOI link: https://doi.org/10.1007/s10817-021-09599-8

Published Online: 2021-08-28

Published Print: 2021-10

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Popescu, Andrei http://orcid.org/0000-0001-8747-0619
Traytel, Dmitriy http://orcid.org/0000-0001-7982-2768
License Information

Text and Data Mining valid from 2021-08-28

Version of Record valid from 2021-08-28
More Information

Article History

Received: 15 April 2020

Accepted: 21 March 2021

First Online: 28 August 2021