You are about to access our book library "IfColog Journal of Logics and their Applications. Volume 2, number 2 full version" .