Basic Logic by Raymond McCall