Information about one of the authors cited in the OLDaily newsletter
Stanford Encyclopedia of Philosophy
Natural Deduction Systems in Logic
Stephen Downes, Casselman, Canada stephen@downes.ca
.