General Logics and Logical Frameworks | Publicación