[isabelle] Which journal to publish?

I am going to write and publish article "Generalization in ZF" which takes the well known informal concept of generalization and formalizes it in ZF. I am going to attach an Isabelle theory as an appendix to the article.
Which math logic journal you would recommend?
Victor Porton - http://portonvictor.org

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.