Published in

Springer Verlag, Journal of Automated Reasoning, 1(55), p. 1-37

DOI: 10.1007/s10817-015-9322-8

Links

Tools

Export citation

Search in Google Scholar

A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal Isabelle

Journal article published in 2015 by Lawrence C. Paulson
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO