Re: [isabelle] Which journal to publish?



18.12.2010, 21:06, "Serguei A. Mokhov" <mokhov at cs.concordia.ca>:
> 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?
>
> http://springerlink.com/content/0168-7433/

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 - http://portonvictor.org





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