TY - JOUR T1 - Distilling the requirements of G枚del鈥檚 incompleteness theorems with a proof assistant JO - Journal of Automated Reasoning UR - https://eprints.whiterose.ac.uk/178722/ PY - 2021/10/01 AU - Popescu A AU - Traytel D ED - DO - DOI: 10.1007/s10817-021-09599-8 PB - Springer Science and Business Media LLC VL - 65 IS - 7 SP - 1027 EP - 1070 Y2 - 2025/04/09 ER -