Title: Logic for information technology
Subjects: Symbolic and mathematical Logic, Matematikai logika, Mathematische Logik, Logic, symbolic and mathematical