\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Avenhaus \bgroup\&al.\egroup
  }{2003}]{quodlibet-cade}
J{\"u}rgen Avenhaus, Ulrich K{\"u}hler{\protectedkuehlerindex}, Tobias
  Schmidt-Samoa{\protectedsamoaindex}, and Claus-Peter
  Wirth{\protectedwirthindex}, 2003.
\newblock How to prove inductive theorems? {\QUODLIBET}!
\newblock In \cite[\PP{328}{333}]{nineteenthCADEthree}, \www\url{/p/quodlibet}.

\bibitem[\protect\citeauthoryear{Baader}{2003}]{nineteenthCADEthree}
Franz Baader, editor, 2003.
\newblock {\em {\thenineteenthCADEthree}}, number 2741 in Lecture Notes in
  Artificial Intelligence. {\springerverlag}.

\bibitem[\protect\citeauthoryear{Frege\protectedfregeindex}{1892}]{frege-sinn-%
bedeutung}
Gottlob Frege\protectedfregeindex, 1892.
\newblock {\Ue ber Sinn und Bedeutung}.
\newblock {\em Zeitschrift f\ue r Philosophie und philosophische Kritik
  (\/\fichte\--\ulrici sche Zeitschrift)}, 100:25--50.
\newblock {English} translation: \cite[\PP{151}{171}]{frege-1997}.

\bibitem[\protect\citeauthoryear{Frege\protectedfregeindex}{1952}]{frege-1952}
Gottlob Frege\protectedfregeindex, 1952.
\newblock {\em Translations from the philosophical writings of\/ {\fregename}}.
\newblock \basilblackwell.
\newblock \Ed\ by {\namefont Peter Geach} and {\namefont Max Black}. \nth
  1\,\edn.

\bibitem[\protect\citeauthoryear{Frege\protectedfregeindex}{1997}]{frege-1997}
Gottlob Frege\protectedfregeindex, 1997.
\newblock {\em The {\frege} Reader}.
\newblock Blackwell Publishing.
\newblock \Ed\ by {\namefont\michaelwithouttrema\ Beaney}.

\bibitem[\protect\citeauthoryear{Gabbay{\protectedgabbayindex} \bgroup\&\
  \egroup Woods}{2004\ff}]{handbook-of-the-history-of-logic}
Dov Gabbay{\protectedgabbayindex} and John Woods, editors, 2004\ff.
\newblock {\em Handbook of the History of Logic}.
\newblock \northholland.

\bibitem[\protect\citeauthoryear{G{\oe
  de{\protectedgoedelindex}l}}{1931}]{goedel}
Kurt G{\oe de{\protectedgoedelindex}l}, 1931.
\newblock {\Ue ber formal unentscheidbare S\ae tze der \PM\ und verwandter
  Sy\esi teme I}.
\newblock {\em {\monatsheftempname}}, 38:173--198.
\newblock With {English} translation also in \cite[\Vol\,I,
  \PP{145}{195}]{goedelcollected}. {English} translation also in
  \cite[\PP{596}{616}]{heijenoort-source-book} and in \cite{goedel-meltzer}.

\bibitem[\protect\citeauthoryear{G{\oe
  de{\protectedgoedelindex}l}}{1962}]{goedel-meltzer}
Kurt G{\oe de{\protectedgoedelindex}l}, 1962.
\newblock {\em On formally undecidable propositions of {\PM} and related
  systems}.
\newblock Basic Books, \NewYork.
\newblock English translation of \cite{goedel} by \meltzername. With an
  introduction by {\namefont R. B. Braithwaite}. \nth 2\,\edn\ by Dover
  Publications, 1992.

\bibitem[\protect\citeauthoryear{G{\oe
  de{\protectedgoedelindex}l}}{1986ff.}]{goedelcollected}
Kurt G{\oe de{\protectedgoedelindex}l}, 1986ff.
\newblock {\em Collected Works}.
\newblock {\oxfordunipress}.
\newblock \Ed\ by \fefermanname, \dawsonname\protect\dawsonindex,
  \goldfarbname, \heijenoortname, \kleenename, \parsonsname, \siegname,
  \etalabbrev.

\bibitem[\protect\citeauthoryear{Heijenoort{\protectedheijenoortindex}}{1971}]%
{heijenoort-source-book}
Jean~van Heijenoort{\protectedheijenoortindex}, 1971.
\newblock {\em From {\frege} to {\namefont G\"odel}: A Source Book in
  Mathematical Logic, 1879--1931}.
\newblock {\harvardunipress}.
\newblock {\nth 2\,\rev\ \edn\ (\nth 1\,\edn\,1967)}.

\bibitem[\protect\citeauthoryear{Peckhau{\protectedpeckhausindex}s}{1990}]{pec%
khaus-1990}
Volker Peckhau{\protectedpeckhausindex}s, 1990.
\newblock {\em {\hilbert programm und Kritische Philosophie -- Das G\oe ttinger
  Modell interdisziplin\ae rer Zusammenarbeit zwischen Mathematik und
  Philosophie}}.
\newblock Number~7 in Studien zur Wissenschaft\es-, Sozial- und Bildung\esi
  geschichte der Mathematik. {\vandenkoeckruprecht}.

\bibitem[\protect\citeauthoryear{Quine\protect\quineindex}{1981}]{ML}
Willard Van~O. Quine\protect\quineindex, 1981.
\newblock {\em Mathematical Logic}.
\newblock \harvardunipress.
\newblock \nth 4\,\rev\,\edn\ (\nth 1\,\edn\ 1940).

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{1988}]{slater-%
prolegomena}
B.~Hartley Slater{\protectedslaterindex}, 1988.
\newblock {\em Prolegomena to Formal Logic}.
\newblock Avebury Series in Philosophy. Gower Publ.\ Ltd (Taylor \& Francis),
  Aldershot (England).

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{1994}]{slater-%
intensional-logic}
B.~Hartley Slater{\protectedslaterindex}, 1994.
\newblock {\em {Intensional Logic --- an essay in analytical metaphysics}}.
\newblock Avebury Series in Philosophy. Ashgate Publ.\ Ltd (Taylor \& Francis),
  Aldershot (England).

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{1998}]{slater-%
against-realisms}
B.~Hartley Slater{\protectedslaterindex}, 1998.
\newblock {\em Against the Realisms of the Age}.
\newblock Avebury Series in Philosophy. Ashgate Publ.\ Ltd (Taylor \& Francis),
  Aldershot (England).

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2002}]{Slater_%
2002_LogicReformed}
B.~Hartley Slater{\protectedslaterindex}, 2002.
\newblock {\em Logic Reformed}.
\newblock Peter Lang AG, Bern, Switzerland.

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2004}]{Slater_%
2004_APoorConceptScript}
B.~Hartley Slater{\protectedslaterindex}, 2004.
\newblock A poor concept script.
\newblock {\em Australasian J. of Logic}, 2:44--55.
\newblock Version \extd\ with a discussion of \goedelsfixedpointtheorem\ is
  \cite{Slater_2004_APoorConceptScriptExtd}.

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2006}]{Slater_%
2006_FregesHiddenAssumption}
B.~Hartley Slater{\protectedslaterindex}, 2006.
\newblock {\frege's} hidden assumption.
\newblock {\em {Cr\'\i tica, Revista Hispano\-americana de Filosof\'\i a}},
  38:27--37.
\newblock
  \url{http://critica.filosoficas.unam.mx/pg/en/numeros_detalle_articulo.php?i%
d_articulo=154&id_volumen=37}. Also in \cite[\litchapref
  7]{de-mathematisation-of-Logic}.

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2007a}]{de-mat%
hematisation-of-Logic}
B.~Hartley Slater{\protectedslaterindex}, 2007a.
\newblock {\em The De-Mathematisation of Logic}.
\newblock Poli\-metrica, Monza, Italy.
\newblock Open access publication,
  \url{wirth.bplaced.net/op/fullpaper/hilbertbernays/Slater_2007_De-Mathematis%
ation.pdf}.

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2007b}]{Slater%
_2004_APoorConceptScriptExtd}
B.~Hartley Slater{\protectedslaterindex}, 2007b.
\newblock A poor concept script.
\newblock In \cite[\litchapref 8]{de-mathematisation-of-Logic}. Short version
  is \cite{Slater_2004_APoorConceptScript}.

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2009}]{slater-%
handbook}
B.~Hartley Slater{\protectedslaterindex}, 2009.
\newblock {\hilbert's epsilon calculus and its successors}.
\newblock In \cite[\Vol\,5: Logic from \russell\ to \church,
  \PP{365}{448}]{handbook-of-the-history-of-logic}.

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2011a}]{Slater%
_2011_BackToAristotle}
B.~Hartley Slater{\protectedslaterindex}, 2011a.
\newblock Back to {\aristotle}!
\newblock {\em Logic and Logical Philosophy}, 20:275--283.
\newblock Also in \cite[\litchapref 2 (\PP{7}{13})]{logic-not-mathematical}.

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2011b}]{logic-%
not-mathematical}
B.~Hartley Slater{\protectedslaterindex}, 2011b.
\newblock {\em Logic is Not Mathematical}.
\newblock \collegepublications.

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2014}]{slater-%
auto-cv}
B.~Hartley Slater{\protectedslaterindex}, 2014.
\newblock {Barry Hartley Slater's C.\,V.}
\newblock Web only:
  \url{https://uwa.academia.edu/HartleySlater/CurriculumVitae} (\Jun\,22,
  2014).

\bibitem[\protect\citeauthoryear{Tarsk{\protectedtarskiindex}i}{1936}]{Tarski3%
6}
Alfred Tarsk{\protectedtarskiindex}i, 1936.
\newblock {Der Wahrheit\esi begriff in den formalisierten Sprachen}.
\newblock {\em Studia Philosophica}, 1:261--405.
\newblock English translation is \cite{Tarski83a}.

\bibitem[\protect\citeauthoryear{Tarsk{\protectedtarskiindex}i}{1983a}]{Tarski%
83a}
Alfred Tarsk{\protectedtarskiindex}i, 1983a.
\newblock The concept of truth in formalized languages.
\newblock In \cite[\PP{152}{278}]{Tarski83}.

\bibitem[\protect\citeauthoryear{Tarsk{\protectedtarskiindex}i}{1983b}]{Tarski%
83}
Alfred Tarsk{\protectedtarskiindex}i, 1983b.
\newblock {\em Logic, Semantics, Metamathematics:}.
\newblock Hackett Publishing, Indianapolis (IN).
\newblock \nth 2\,\rev\,\edn\ (\nth 1\,\edn\,1956, \oxfordunipress). \Ed\ by
  \corcoranname. Translations by {\namefont J. H. Woodger}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2009}]{wirth-jsc}
Claus-Peter Wirth{\protectedwirthindex}, 2009.
\newblock Shallow confluence of conditional term rewriting systems.
\newblock {\em {\jscname}}, 44:69--98.
\newblock \url{http://dx.doi.org/10.1016/j.jsc.2008.05.005}.

\end{thebibliography}
