Crystal structure of 2-(2,4-dioxopentan-3-yl)benzoic acid, C12H12O4
- 期刊名称Zeitschrift für Kristallographie - New Crystal Structures
- 作者Bhatt, Nilay; Bhatt, Pralav; Govender, Thavendran; Kruger, Hendrik G.; Maguire, Glenn E. M.
- 卷第229卷
- 期第4期
- 印刷ISSN1433-7266
- 电子ISSN2197-4578
- 文件大小90.05KB
- 发表时间2014-01-1
- DOI10.1515/ncrs-2014-0164
Modal system ${rm S}4.4$.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1964
A note on modal systems.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1963
Awkward axiom-systems.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1978
Certain extensions of modal system $S4$.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1970
A new formalization of Newman algebra.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1972
Concerning some extensions of ${rm S}4$.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1971
Note on a Problem of Paul BernaysBolesław Sobociński · The Journal of Symbolic Logic · 1955
An equational axiomatization of associative Newman algebras.Sobociński, Bolesław · Notre Dame Journal of Formal Logic · 1972
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