Thoralf Skolem. Ein Saiz über die Erfüllbarkeit von einigen Zählausdrücken der Form (x)(Ey 1 , …, y n ) K 1 ( x, y 1 ,…, y n ) & ( x 1 , x 2 , x 3 ,) K 2 ( x 1 , x 2 , x 3 ,). Avhandlinger utgitt av Del Norske Videnskaps-Akademi i Oslo, I, Mat.-naturv. klasse1935, no. 8 (1936), 10 pp.

Artigo Revisado por pares

Thoralf Skolem. Ein Saiz über die Erfüllbarkeit von einigen Zählausdrücken der Form (x)(Ey 1 , …, y n ) K 1 ( x, y 1 ,…, y n ) & ( x 1 , x 2 , x 3 ,) K 2 ( x 1 , x 2 , x 3 ,). Avhandlinger utgitt av Del Norske Videnskaps-Akademi i Oslo, I, Mat.-naturv. klasse1935, no. 8 (1936), 10 pp.

1936; Cambridge University Press; Volume: 1; Issue: 3 Linguagem: Alemão

10.2307/2269034

ISSN

1943-5886

Autores

Cooper H. Langford,

Resumo

Thoralf Skolem. Ein Saiz über die Erfüllbarkeit von einigen Zählausdrücken der Form (x)(Ey1, …, yn)K1(x, y1,…, yn) & (x1, x2,x3,)K2(x1, x2, x3,). Avhandlinger utgitt av Del Norske Videnskaps-Akademi i Oslo, I, Mat.-naturv. klasse1935, no. 8 (1936), 10 pp. - Volume 1 Issue 3

Ver no editor

Altmetric

PlumX

Entrar

Lembrar minha senha

Receber meu e-mail de confirmação

Thoralf Skolem. Ein Saiz über die Erfüllbarkeit von einigen Zählausdrücken der Form (x)(Ey 1 , …, y n ) K 1 ( x, y 1 ,…, y n ) & ( x 1 , x 2 , x 3 ,) K 2 ( x 1 , x 2 , x 3 ,). Avhandlinger utgitt av Del Norske Videnskaps-Akademi i Oslo, I, Mat.-naturv. klasse1935, no. 8 (1936), 10 pp.