Fundamental Methods of Logic - Matthew Knachel