Here's an old thesis (of mine) in CS, with a bunch of inference rules, proofs, etc. (Ignore the standardized front matter of ~5 pages) https://skemman.is/bitst

Here's an old thesis (of mine) in CS, with a bunch of inference rules, proofs, etc. (Ignore the standardized front matter of ~5 pages) https://skemman.is/bitstream/1946/7418/1/MSc_Arnar-Birgisson.pdf https://skemman.is/bitstream/1946/7418/1/MSc_Arnar-Birgisson...