Essential Incompleteness of Arithmetic Verified by Coq.

Sat, 01 Jan 2005 00:00:00 +0100

Russell O'Connor:
Essential Incompleteness of Arithmetic Verified by Coq. TPHOLs 2005: 245-260