Thoralf Skolem. On the proofs of independence of the axioms of the classical sentential calculus. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 24 (1951), pp. 20

Artigo Revisado por pares

Thoralf Skolem. On the proofs of independence of the axioms of the classical sentential calculus. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 24 (1951), pp. 20–25.

1953; Cambridge University Press; Volume: 18; Issue: 1 Linguagem: Inglês

10.2307/2266331

ISSN

1943-5886

Autores

Alonzo Church, Nicholas Rescher,

Tópico(s)

Logic, programming, and type systems

Resumo

Thoralf Skolem. On the proofs of independence of the axioms of the classical sentential calculus. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 24 (1951), pp. 20–25. - Volume 18 Issue 1

Ver no editor

Altmetric

PlumX

Entrar

Lembrar minha senha

Receber meu e-mail de confirmação

Thoralf Skolem. On the proofs of independence of the axioms of the classical sentential calculus. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 24 (1951), pp. 20–25.