![Mathematics / Order theory / Algebra / Abstract algebra / Lattice theory / Mathematical logic / Algebraic structures / Predicate logic / Distributive lattice / Complete Heyting algebra / Mereology / Partially ordered set Mathematics / Order theory / Algebra / Abstract algebra / Lattice theory / Mathematical logic / Algebraic structures / Predicate logic / Distributive lattice / Complete Heyting algebra / Mereology / Partially ordered set](https://www.pdfsearch.io/img/a5f0b664dea4170ff9bce53172b82870.jpg) Date: 2018-08-15 07:19:09Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set | | Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem proverAdd to Reading ListSource URL: isabelle.in.tum.deDownload Document from Source Website File Size: 361,50 KBShare Document on Facebook
|