Collected Works: Mathematical Logic Amsterdam Etc Universal Turing Machine