Hier gibt es von mir nur Prädikatenlogische Formeln. Alles Andere ist auf der englischen Seite.