[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.