Translation of the book "Allgemeine Modelltheorie" by Herbert Stachowiak into English.
Primary LanguageEmacs Lisp