An introduction to computer logic | lit.salon