Artigo
Acesso aberto
Revisado por pares
Exact separation of recursively enumerable sets within theories
1960; American Mathematical Society; Volume: 11; Issue: 4 Linguagem: Inglês
10.1090/s0002-9939-1960-0120150-1
ISSN1088-6826
AutoresHilary Putnam, Raymond M. Smullyan,
Tópico(s)Logic, Reasoning, and Knowledge
Referência(s)