TY - CONF T1 - A formally verified abstract account of G枚del鈥檚 incompleteness theorems JO - Automated Deduction 鈥� CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27鈥�30, 2019, Proceedings PY - 2019/08/20 AU - Popescu A AU - Traytel D ED - DO - DOI: 10.1007/978-3-030-29436-6_26 PB - Springer International Publishing SN - 9783030294359 SP - 442 EP - 461 Y2 - 2025/04/04 ER -