Back to Results
First PageMeta Content
Mathematical 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 List

Document Date: 2015-12-16 14:53:21


Open Document

File Size: 273,74 KB

Share Result on Facebook
UPDATE