A first logic book | lit.salon