../ 01-LogischeKonsequenz.rmvb 09-Apr-2021 11:10 45866770 02-AnlegenEinerWertetabelle.rmvb 09-Apr-2021 11:10 98423610 03-SemantischeAequivalenz.rmvb 09-Apr-2021 11:10 99964480 04-Positionen.rmvb 09-Apr-2021 11:09 115901801 05-Ersetzungstheorem.rmvb 09-Apr-2021 11:08 56607245 06-Fragen.rmvb 09-Apr-2021 11:07 97038815