TY - Generic T1 - Tracing Unsolvability. A Mathematical, Historical and Philosophical Analysis with a Special Focus on Tag Systems Y1 - 2007 A1 - De Mol, Liesbeth PB - Ghent University U1 -
Erik Weber