Reading list: lemon logic 
symbolic logic