Electrodeposition of Manganese Dioxide in Sulfuric Acid Solution
- 期刊名称NIPPON KAGAKU KAISHI
- 作者SATO, Makoto; MATSUKI, Kenzo; SUGAWARA, Michio
- 期第10期
- 印刷ISSN0369-4577
- 电子ISSN2185-0925
- 文件大小247.41KB
- 发表时间1972
- DOI10.1246/nikkashi.1972.1838
- 页码1838-1841
Extendible Formulas in Two Variables in Intuitionistic LogicNick Bezhanishvili, Dick de Jongh · 2012
Dedicated to the Memory of Leo Esakia || Extendible Formulas in Two Variables in Intuitionistic LogicNick Bezhanishvili and Dick de Jongh · Studia Logica: An International Journal for Symbolic Logic · 2012
Compressibility and Kolmogorov ComplexityBinns, Stephen; Nicholson, Marie · Notre Dame Journal of Formal Logic · 2013
Weak Theories of Concatenation and ArithmeticHorihata, Yoshihiro · Notre Dame Journal of Formal Logic · 2012
On Existence in Set TheoryFreire, Rodrigo A. · Notre Dame Journal of Formal Logic · 2012
On Generalizing KolmogorovDietz, Richard · Notre Dame Journal of Formal Logic · 2010
Metalogic of Intuitionistic Propositional CalculusCitkin, Alex · Notre Dame Journal of Formal Logic · 2010
On a family of paradoxes.Prior, A. N. · Notre Dame Journal of Formal Logic · 1961
Degrees of Relative ProvabilityCai, Mingzhong · Notre Dame Journal of Formal Logic · 2012
The Computational Content of Arithmetical ProofsHetzl, Stefan · Notre Dame Journal of Formal Logic · 2012