Voltar
Artigo Revisado por pares
BIBTEX RIS

On Formally Undecidable Propositions of Principia Mathematica and Related Systems.

1966; Taylor & Francis; Volume: 73; Issue: 3 Linguagem: Inglês

10.2307/2315369

ISSN

1930-0972

Autores

Raymond M. Smullyan, Kurt Gödel, Bernard D. Meltzer, John Braithwaite,

Tópico(s)

Computability, Logic, AI Algorithms

Referência(s)
Ver no editor
American Mathematical Monthly
Altmetric
PlumX