In Memoriam: Alonzo Church 1903–1995
- 期刊名称Bulletin of Symbolic Logic
- 作者Enderton, H. B.
- 卷第1卷
- 期第4期
- 印刷ISSN1079-8986
- 电子ISSN1943-5894
- 文件大小39.21KB
- 发表时间1995-12
- DOI10.1017/s1079898600008040
- 页码486-488
Magnetic cumulation generators with transformer outputV. F. Bukharov; V. A. Vasyukov; V. E. Gurin; D. I. Zenkov; A. S. Kravchenko; R. Z. Lyudaev; A. I. Pavlovskii; Yu. I. Plyushchev; L. N. Plyashkevich; A. M. Shuvalov · 1982
Nickel galvanochemical coating modified by carbon nanotubesYu. I. Golovin, Yu. V. Litovka, A. V. Shuklinov, V. M. Vasyukov, R. A. Stolyarov, L. E. Polyakov, I. A. D’yakov, A. G. Tkachev · 2012
In Memoriam: Vladimir Aleksandrovich Smirnov, 1931-1996V. L. Vasyukov · The Bulletin of Symbolic Logic · 1996
The size effects in hardness of polycrystalline niobiumYu. I. Golovin; M. G. Isaenkova; O. A. Krymskaya; V. M. Vasyukov; R. A. Stolyarov; A. V. Shuklinov; L. E. Polyakov · 2010
Size effects in the hardness of fcc metals on micro- and nanoscalesYu. I. Golovin; V. M. Vasyukov; V. V. Korenkov; R. A. Stolyarov; A. V. Shuklinov; L. E. Polyakov · 2011
Preparation of dry protein products from waste materials of insulin and heparin manufactureL. E. Frumin; Ts. S. Asatiani; S. E. Vasyukov; V. P. Pakhomov; V. T. Sapleva · 1978
AIP Conference Proceedings [Author(s) ADVANCED MATERIALS WITH HIERARCHICAL STRUCTURE FOR NEW TECHNOLOGIES AND RELIABLE STRUCTURES 2016: Proceedings of the International Conference on Advanced Materials with Hierarchical Structure for New Technologies and Reliable Structures 2016 - Tomsk, Russia (19–23 September 2016)] - Constructing a blood vessel on the porous scaffold modified with vascular endothelial growth factor and basic fibroblast growth factorSevostyanova, V. V.; Matveeva, V. G.; Antonova, L. V.; Velikanova, E. A.; Shabaev, A. R.; Senokosova, E. A.; Krivkina, E. O.; Vasyukov, G. Yu.; Glushkova, T. V.; Kudryavtseva, Yu. A.; Barbarash, O. L.; Barbarash, L. S. · 2016
Hilbert's Programs: 1917-1922Wilfried Sieg · The Bulletin of Symbolic Logic · 1999
Explicit Provability and Constructive SemanticsSergei N. Artemov · The Bulletin of Symbolic Logic · 2001
Foundations and Applications: Axiomatization and EducationF. William Lawvere · The Bulletin of Symbolic Logic · 2003
Developments in Constructive Nonstandard AnalysisErik Palmgren · The Bulletin of Symbolic Logic · 1998
The Discovery of My Completeness ProofsLeon Henkin · The Bulletin of Symbolic Logic · 1996
THE HYPERUNIVERSE PROGRAMTATIANA ARRIGONI and SY-DAVID FRIEDMAN · The Bulletin of Symbolic Logic · 2013
Logical Consequence RevisitedJosé M. Sagüillo · The Bulletin of Symbolic Logic · 1997
Logicality and InvarianceDenis Bonnay · The Bulletin of Symbolic Logic · 2008