First Page | Document Content | |
---|---|---|
Date: 2018-08-15 07:18:47Mathematical logic Logic Theoretical computer science Logic in computer science Proof assistants Type theory Quantification Philosophical logic Isabelle First-order logic Logic for Computable Functions Logical framework | Add to Reading ListSource URL: isabelle.in.tum.deDownload Document from Source WebsiteFile Size: 505,67 KBShare Document on Facebook |