|To begin to learn Shen
you need a copy of the language. Open our interactive
reference the OS Shen Manual. If you find this interesting you
might want to buy one of the books. Go to our News Group if you get stuck.
The Shendoc webpage is useful as a language standard for those porting Shen. It is a developers guide rather than a resource for learning Shen.
write once, run anywhere
After you've got some acquiantance with Shen, you can move on to study the language in depth. If your logic needs a brush-up, get Logic, Proof and Computation to learn the logical theory behind Shen and how sequent calculus works. The Book of Shen gives the complete introduction to the language.