TY  - CONF

T1  - A formally verified abstract account of Gödel’s 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  - 2024/12/23

ER  -