First Page | Document Content | |
---|---|---|
![]() Date: 2014-04-20 08:49:44Mathematical logic Metalogic Logic Model theory Logic in computer science Proof theory Proof assistants Programming language semantics HOL Operational semantics Gdel's completeness theorem Type theory | Add to Reading List |