Problemy decyzyjne dla systemów nieskończonych

Strona przedmiotu znajduje się™ tu.