The paradox of Kleene and Rosser.

From MaRDI portal
Publication:2585205