12
votes
2answers
1k views

Problems with Journal Submissions due to arXiv Submission? [closed]

Hello, I wanted to ask people if they know of any journals that will not accept papers for submission if they have been already posted on arxiv. I am personally interested in Logic Journals, but ...
12
votes
7answers
2k views

What is lambda calculus related to?

So I'm not much of a math guy but I've really enjoyed programming in Lisp and have become interested in the ideas of lambda calculus which it is based. I was wondering if anyone had a suggestion ...