Logisch-kombinatorische Untersuchungen : über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem theoreme über dichte Mengen


Th. Skolem
Bok Tysk 1920

Detaljer

Bibliotek som har denne