Title: Mathematical problems from applied logic I
Subjects: Symbolic and mathematical Logic, Logic design, Computer science, Logic, Logic, symbolic and mathematical