…is a journal, they've opened up their PDFs, available at Elsevier. Hardcore stuff, fair bit on logics & graphs.
PS. I was going to post that link to Lambda the Ultimate as well, but someone got there before me. But also at LtU, it seems the book Concrete Abstractions: An Introduction to Computer Science Using Scheme is now available free online.
I'm still very, very slowly making my way through Structure and Interpretation of Computer Programs also available online (but I bought a copy).
There are three of my personal learning strategies here - one is acknowledgement that there will still be plenty in first principles I can benefit from no matter how much I think I know. The second is based on the observation that printing things has the side effect of improving cerebral imprinting, whether or not you bother to read the stuff. Lamination doubly so.
The third strategy is to subscribe to really difficult mailing lists and filter them directly past the inbox into a folder, with the assumption that some good bits will pass through the various virtual and physical membranes into my brain. So I'm subscribed to the categories list, knowing full well that I'm unlikely to ever get my head around this stuff through regular study. But occasionally stuff I can use leaks through, like the link to the journal above. Osmosis works, QED.[Danny]