Emil Post's Contributions to Computer Science

Martin Davis

Browse the full LICS paper archive.