Hier finden Sie verschiedenste Hinweise zu Büchern, Artikeln und Internet Quellen. Einige dieser Quellen wurden beim Schreiben dieser Dokumentation verwendet. Andere erwähnen wir hier, weil wir sie als nützlich für die Leser erachten.
| Kürzel | Referenz (Link im gleichen Fenster) |
|---|---|
| [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, Deutsch) |
| 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. |