sem exemplosEncontrado em 1 dicionário
O Dicionário Russo-Inglês de Ciência da Computação- dicts.lingvocomputer_ru_en.description
- dicts.lingvocomputer_ru_en.description
аксиоматическая теория множеств
axiomatic set theory
Exemplos de textos
Это исчисление можно рассматривать как синтез теории типов и аксиоматической теории множеств.This may be regarded as a synthesis of the theory of types and axiomatic set theory.Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical LogicFoundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.Основания математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969
Adicionar ao meu dicionário
аксиоматическая теория множеств
axiomatic set theory
Traduções de usuários
Ainda não tem traduções deste texto.
Seja o primeiro a traduzir!