[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