Povinně volitelný předmět na zahr. stáži - Pokročilý kurs z logiky