programs to LPC

42 views

Skip to first unread message

Mark Tarver

unread,

Dec 27, 2021, 1:24:34 AM12/27/21

to Shen

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 programs to accompany this book run under Windows and can be downloaded here.

From the Learn Shen page - I've restored the programs with an old version of OS Shen for Windows included.