He introduces in Romania the latest mathematical logic, mostly by his works The New Logic and The Polyvalent Logic, where he presents the Russell–Whitehead axiomatic system of Principia Mathematica, and C.I. Lewis’ system of strict implication.
El introduce în România cea mai recentă formă de logică matematică, în special prin lucrările sale Noua logică și Logica polivalentă, unde prezintă sistemul axiomatic Principia Mathematica realizat de Russell–Whitehead, precum și sistemul implicației al lui C. I. Lewis.