Date: 2015-12-16 14:53:21Mathematical logic Mathematics Logic Logic in computer science Proof assistants Model theory Proof theory Foundations of mathematics ZermeloFraenkel set theory HOL Gdel's completeness theorem Gdel's incompleteness theorems | | Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan ·Add to Reading ListSource URL: cakeml.orgDownload Document from Source Website File Size: 273,74 KBShare Document on Facebook
|