Re: [isabelle] Which journal to publish?

18.12.2010, 21:06, "Serguei A. Mokhov" <mokhov at>:
> On Sat, 18 Dec 2010, Victor Porton wrote:
>>  Date: Sat, 18 Dec 2010 20:14:16 +0300
>>  <div>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.</div><div>&nbsp;</div><div>Which math logic
>>  journal you would recommend?</div><div>&nbsp;</div><div>-- <br />Victor
> JAR?

That journal is not open access. It seems (confirm?) that they even would require me to remove a preprint from my own Web site. That's not good. I will search for an other journal.

Victor Porton -

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