\documentclass[12pt]{article}	
\usepackage{latex-macros/course}

\renewcommand{\reading}{
\href{http://theory.lcs.mit.edu/classes/6.042/spring02/lectures/ln1.pdf}{Week
1 Notes}, Rosen \S\S 1.1-6, 2.3, 3.1}

\begin{document}
\problemset{1}

\getproblem{intro-logic-etc.rep}{logic-3}
\getproblem{intro-logic-etc.rep}{logic-7}
\getproblem{intro-logic-etc.rep}{logic-12}

\end{document}                            
