Email Gateway (Aug 18 2022 at 16:45): Email Gateway (Aug 18 2022 at 16:45):From: Victor Porton <porton@narod.ru>
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
Email Gateway (Aug 18 2022 at 16:45):From: Victor Porton <porton@narod.ru>
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.
Last updated: Apr 24 2024 at 16:18 UTC