Ein Satz über die Erfüllbarkeit von einigen Zählausdrücken der Form (x) (Ey_1,...,yν) K_1 (x,y_1, ...,yν) & (x_1,x_2,x_3) K_2 (x_1,x_2,x_3)


Th. Skolem
Bok Tysk 1936

Detaljer

Bibliotek som har denne