A proof that addition is not arithmetically definable in terms of a single unary operator


Robert McNaughton
Bok Engelsk 1957

Detaljer

Bibliotek som har denne