Lecture Notes in Logic 17 - Vincent Van Oostrom; Albert Visser; Jan Van Eijck (Taylor and Francis, 2004)