Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Logic resources
I heard about some additional resources - I’m sharing them here, even though it might be a little late for it.
There’s an app called Edukera that is free for students to play around.
The “Quantifiers” stuff is on FOL
https://app.edukera.com/
Gloin: https://www8.cs.fau.de/ws19:gloin
FOL is from “Übungsblatt 8” onwards
The incredible proof machine by Joachim Breitner:
http://incredible.pm/
The open logic project also offers interactive tooling:
https://proofs.openlogicproject.org/