Intermediate Logic Book