Logikai alapozás alkalmazásokhoz matematikai logika - számítástudomány - Pásztorné Varga Katalin; Eötvös Loránd Tudományegyetem (Budapest) Természettudományi Kar (Budapest Eötvös Loránd Tudományegyetem, 1997)