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> </div><div>Which math logic
>> journal you would recommend?</div><div> </div><div>-- <br />Victor
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