C. Smoryński

• Notes on Hilbert's tenth problem