Trying to learn how to translate from the human translation examples.
From professional translators, enterprises, web pages and freely available translation repositories.
* 19- «semantical analysis of intuitionistic logic ii.
* 19- "semantical analysis of intuitionistic logic ii.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
Warning: Contains invisible HTML formatting
«on the completeness and decidability of intuitionistic propositional logic».
"on the completeness and decidability of intuitionistic propositional logic".
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
Warning: Contains invisible HTML formatting
Аргументация, лежащие в основе теории, главным intuitionistic, избегая использования отрицания.
the reasoning underlying the theory is mainly intuitionistic, avoiding the use of negation.
Last Update: 2018-02-21
Usage Frequency: 1
Quality:
* 19- «semantical analysis of intuitionistic logic iii» (undated manuscript).
* 19- "semantical analysis of intuitionistic logic iii" (undated manuscript).
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
Warning: Contains invisible HTML formatting
«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.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
Warning: Contains invisible HTML formatting