add bibliographic entry

mmset.raw.html

@@ -4925,6 +4925,9 @@
 Physics,</I> Elsevier Science B.V., Amsterdam (1982) [QC20.7.A5C48
 1981].</LI>
 
+<LI><A NAME="Church"></A> [Church] Church, Alonzo, <I>Introduction to
+Mathematical Logic,</I> Princeton University Press, 1956.</LI>
+
 <LI><A NAME="Clemente"></A> [Clemente] Clemente Laboreo, Daniel
 <I>Introduction to natural deduction</I> (2014); available
 at <A HREF="http://www.danielclemente.com/logica/dn.en.pdf">
@@ -5266,7 +5269,7 @@
 Herzog, and Silvio Pardi, <I>Empirical verification of the even Goldbach
 conjecture and computation of prime gaps up to 4 x 10^18,</I> Mathematics of
 Computation, vol. 83, no. 288, pp. 2033-2060, July 2014 (published
-electronically on November 18, 2013). 
+electronically on November 18, 2013).
 
 <LI><A NAME="Pfenning"></A> [Pfenning] Pfenning, Frank,
 <I>Automated Theorem Proving,</I> Carnegie-Mellon University (April 13, 2004);