1

Deduction-detachment theorem in hidden k-logics

E-Article
2

Logics of Kripke meta-models

E-Article
3

Operation of 600-ton open-hearth furnace with oxygen-blown bath

E-Article
5
6
7