Below you find various references to books, articles, and online references. They were either used as references when writing this documentation, or are just considered useful to the reader.
| Token | Reference (Link opens in the same window) |
|---|---|
| [N4.2] | Adler, Joël, J. Schmid and M. Sprenger. Model Theory, Universal Algebra and Order. Skript zum Modul N4.2 des ViLoLa-Projektes. Download Module N4.2 |
| [DaPr02] | Davey, B.A. and H.A. Priestley. Introduction to Lattices and Order. Cambridge: Cambridge University Press, 2002. |
| [Dem82] | Demel, J. "Fast Algorithms for Finding a Subdirekt Decomposition and Interesting Congruences of Finite Algebras." Kybernetika, Vol. 18, No. 2, 1982, p.121-130. |
| [Goe02] | Goel, Sabine. Algorithmen zur subdirekten Zerlegung von Verbänden. Diplomarbeit der philosophisch-naturwissenschaftlichen Fakultät der Universität Bern. 2002. |
| [Ihr03] | Ihringer, Thomas. Allgemeine Algebra. Berliner Studienreihe zur Mathematik, Band 10. Heldermann Verlag, 2003. |
| [Ihr93] | Ihringer, Thomas. Allgemeine Algebra. Stuttgart: B.G. Teubner, 1993. |
| [Kwu04] | Kwuida, Leonard. Dicomplemented Lattices: A Contextual Generalization of Boolean Algebras. Aachen: Shaker Verlag, 2004. |
| [Roe05] | Röthlisberger, Christoph. Handbuch zur AWB. Diplomarbeit der philosophisch-naturwissenschaftlichen Fakultät der Universität Bern. 2005. (Download PDF, German) |
| Lattice Theory Homepage | |
| The Logic Machine | |
| The Math Archives | |
| [MAI] | The Mathematical Institute of the University of Berne |
| Mathworld (Wolfram Research) | |
| [SwViCa] | Swiss Virtual Campus. |
| [ViLoLa] | ViLoLa - The Virtual Logic Laboratory. |