A Formally Verified Abstract Account of Gödel's Incompleteness Theorems

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

7 Citationer (Scopus)

Navn	LNCS

Adgang til dokumentet

@inproceedings{ab3e739bdeff41a7a509ce806dc3770b,

title = "A Formally Verified Abstract Account of G{\"o}del's Incompleteness Theorems",

author = "Andrei Popescu and Dmitriy Traytel",

year = "2019",

doi = "10.1007/978-3-030-29436-6_26",

language = "English",

volume = "11716",

series = "LNCS",

pages = "442--461",

editor = "Pascal Fontaine",

booktitle = "CADE-27",

publisher = "Springer, Cham",

}