Syntax-Independent Logic Infrastructure

MaRDI QIDQ7361506FDO

Authors Andrei Popescu, Dmitriy Traytel

Publication date 16 September 2020

Cites work

• A formally verified abstract account of Gödel's incompleteness theorems

Cited in

(2)

• Robinson arithmetic
• An Abstract Formalization of Gödel's Incompleteness Theorems

This page was built for software: Syntax-Independent Logic Infrastructure