Pásztorné Varga Katalin

Logikai alapozás alkalmazásokhoz (Matematikai logika - számítástudomány)