Welcome students of Math 771! <p>


<a href="logfile.none"> daily log file  </a> <br>

<a href="preq771.html"> firstday handout </a>, books and prerequisites for
m771
<br>

<a href="preq776.html"> prerequisites for m776 </a>, basic first-order
logic
<br>

<p><hr><p>

These two are excerpted from my 770 book:<br>
<p> Introduction to Mathematical Logic - Moore style <br>
<a href="logintro.abs"> logintro.abs</a> Abstract in plain ascii <br>
<a href="logintro.tex"> logintro.tex</a> Latex 2.09 <br>
<a href="logintro.pdf"> logintro.pdf</a>  PDF <br>


<p><hr><p>