\relax 
\bibstyle{plain}
\citation{Wos}
\citation{Hamilton}
\citation{Church}
\citation{Mendelson}
\citation{Kleene}
\citation{TarskiG}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{Meredith}
\citation{Hindley}
\citation{Megill}
\citation{Robinson}
\citation{WosR}
\citation{Kalman}
\citation{Wos}
\citation{Mints}
\citation{Wos}
\citation{Kleene}
\@writefile{toc}{\contentsline {section}{\numberline {2}The System S1}{3}}
\citation{Meredith}
\citation{Hindley}
\citation{Kalman}
\citation{Zeman}
\citation{Peterson}
\@writefile{toc}{\contentsline {section}{\numberline {3}The Rules ${\bf  D}$ and ${\bf  G}$}{5}}
\newlabel{rulesdg}{{3}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {4}The System S2}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Equivalence of Systems S1 and S2}{8}}
\newlabel{equivs1s2}{{5}{8}}
\citation{Kalman}
\citation{Tarski}
\@writefile{toc}{\contentsline {section}{\numberline {6}The System S3}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Mapping Formulas from S1 into S3}{11}}
\newlabel{mapping}{{7}{11}}
\citation{Nemeti}
\citation{Nemeti}
\citation{Tarski}
\citation{Kalish}
\@writefile{toc}{\contentsline {section}{\numberline {8}Completeness and Consistency of System S2}{13}}
\newlabel{completeness}{{8}{13}}
\citation{Hamilton}
\citation{Kleene}
\citation{MonkS}
\@writefile{toc}{\contentsline {section}{\numberline {9}Further Remarks}{15}}
\newlabel{furtherRemarks}{{9}{15}}
\citation{Tarski}
\citation{Cohen}
\citation{Boyer}
\citation{Wos33}
\@writefile{toc}{\contentsline {section}{\numberline {10}ZF Set Theory}{18}}
\citation{Wos}
\bibcite{Boyer}{1}
\bibcite{Church}{2}
\bibcite{Cohen}{3}
\bibcite{Hamilton}{4}
\bibcite{Hindley}{5}
\bibcite{Kalish}{6}
\bibcite{Kalman}{7}
\bibcite{Kleene}{8}
\bibcite{Megill}{9}
\bibcite{Mendelson}{10}
\bibcite{Meredith}{11}
\bibcite{Mints}{12}
\bibcite{MonkS}{13}
\bibcite{Nemeti}{14}
\bibcite{Peterson}{15}
\bibcite{Robinson}{16}
\bibcite{Tarski}{17}
\bibcite{TarskiG}{18}
\bibcite{Wos33}{19}
\bibcite{Wos}{20}
\bibcite{WosR}{21}
\bibcite{Zeman}{22}