Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
* 19- «semantical analysis of intuitionistic logic ii.
* 19- "semantical analysis of intuitionistic logic ii.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
«on the completeness and decidability of intuitionistic propositional logic».
"on the completeness and decidability of intuitionistic propositional logic".
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
Аргументация, лежащие в основе теории, главным intuitionistic, избегая использования отрицания.
the reasoning underlying the theory is mainly intuitionistic, avoiding the use of negation.
Последнее обновление: 2018-02-21
Частота использования: 1
Качество:
* 19- «semantical analysis of intuitionistic logic iii» (undated manuscript).
* 19- "semantical analysis of intuitionistic logic iii" (undated manuscript).
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
«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.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
