Ismertető: Egyetemi jegyzet - Eötvös Loránd Tudományegyetem Természettudományi Kar - A jegyzet a programozó matematikusok logika oktatását kívánja támogatni.- További ismertető. "Belelapozás".