Cílem předmětu je seznámení posluchačů se základy matematické logiky.

Cílem předmětu je seznámení posluchačů se základy matematické logiky.