Via de voorbeelden van menselijke vertaling trachten te leren vertalen.
Van professionele vertalers, bedrijven, webpagina's en gratis beschikbare vertaalbronnen.
* 19- «semantical analysis of intuitionistic logic ii.
* 19- "semantical analysis of intuitionistic logic ii.
Laatste Update: 2016-03-03
Gebruiksfrequentie: 1
Kwaliteit:
Waarschuwing: Bevat onzichtbare HTML-opmaak
«on the completeness and decidability of intuitionistic propositional logic».
"on the completeness and decidability of intuitionistic propositional logic".
Laatste Update: 2016-03-03
Gebruiksfrequentie: 1
Kwaliteit:
Waarschuwing: Bevat onzichtbare HTML-opmaak
Аргументация, лежащие в основе теории, главным intuitionistic, избегая использования отрицания.
the reasoning underlying the theory is mainly intuitionistic, avoiding the use of negation.
Laatste Update: 2018-02-21
Gebruiksfrequentie: 1
Kwaliteit:
* 19- «semantical analysis of intuitionistic logic iii» (undated manuscript).
* 19- "semantical analysis of intuitionistic logic iii" (undated manuscript).
Laatste Update: 2016-03-03
Gebruiksfrequentie: 1
Kwaliteit:
Waarschuwing: Bevat onzichtbare HTML-opmaak
«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.
Laatste Update: 2016-03-03
Gebruiksfrequentie: 1
Kwaliteit:
Waarschuwing: Bevat onzichtbare HTML-opmaak