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

ER -