Davydov, G.V
VIAF ID: 310669655 ( Personal )
Permalink: http://viaf.org/viaf/310669655
Preferred Forms
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Handbook of mathematical logic | |
Matematičeskaâ logika i avtomatičeskoe dokazatel'stvo teorem | |
Spravočnaâ kniga po matematičeskoj logike. | |
Symbolic logic and mechanical theorem proving | |
Teoriâ dokazatel'stv i konstruktivnaâ matematika | |
Математическая логика и автоматическое доказательство теорем |