Title: Topics in logic, philosophy and foundations of mathematics, and computer science
Subjects: Mathematics, Philosophy, Symbolic and mathematical Logic