Aussagen- und Prädikatenlogik von L. Post
Completion requirements
Click 2020-11-05 20-08-19.mkv link to view the file.