Logic in three books