Tentando aprender a traduzir a partir dos exemplos de tradução humana.
A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
* 19- «semantical analysis of intuitionistic logic ii.
* 19- "semantical analysis of intuitionistic logic ii.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível
«on the completeness and decidability of intuitionistic propositional logic».
"on the completeness and decidability of intuitionistic propositional logic".
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível
Аргументация, лежащие в основе теории, главным intuitionistic, избегая использования отрицания.
the reasoning underlying the theory is mainly intuitionistic, avoiding the use of negation.
Última atualização: 2018-02-21
Frequência de uso: 1
Qualidade:
* 19- «semantical analysis of intuitionistic logic iii» (undated manuscript).
* 19- "semantical analysis of intuitionistic logic iii" (undated manuscript).
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível
«semantical analysis of intuitionistic logic i», in "formal systems and recursive functions", edited by m. dummett and j. n. crossley.
"semantical analysis of intuitionistic logic i", in "formal systems and recursive functions", edited by m. dummett and j. n. crossley.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível