2010. Algebraic, abstract algebraic and behavioral approaches to logical systems. Part II. The Reasoner. 4, 9 (Sep. 2010).