Über die Zurückführbarkeit einiger durch Rekursionen definierter Relationen auf "arithmetische"


Th. Skolem
Bok Tysk 1937

Detaljer

Bibliotek som har denne