<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2018-08-15 07:19:12Mathematical logic Logic Proof theory Mathematics Proof assistants Logic in computer science Type theory Substructural logic Sequent First-order logic Isabelle Higher-order logic |
