\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Anon}{2022}]{online-duden}
Anon.
\newblock {DUDEN -- Online-W\oe rterbuch}.
\newblock Nur online verf\ue gbar: \url{https://www.duden.de}, 2022.

\bibitem[\protect\citeauthoryear{Berka \bgroup\&\ \egroup
  Kreiser}{1973}]{logiktexte}
Karel Berka and Lothar Kreiser, editors.
\newblock {\em {Logik-Texte -- Kommentierte Au\esi wahl zur Geschichte der
  modernen Logik}}.
\newblock \akademieverlag, 1973.
\newblock \nth 2\,\rev\,\edn\ (\nth 1\,\edn\,1971; \nth
  4\,\rev\,\rev\,\edn\,1986).

\bibitem[\protect\citeauthoryear{Comon}{1997}]{eighthRTAninetyseven}
Hubert Comon, editor.
\newblock {\em {\theeighthRTAninetyseven}}, number 1232 in Lecture Notes in
  Computer Science. {\springerverlag}, 1997.

\bibitem[\protect\citeauthoryear{Deemter \bgroup\&\ \egroup
  Peters}{1996}]{ambiguitycsli}
Kees~van Deemter and Stanley Peters, editors.
\newblock {\em Semantic Ambiguity and Underspecification}.
\newblock CLSI LN No.\,55, \Stanford, 1996.

\bibitem[\protect\citeauthoryear{Fitting}{2002}]{fitting-god}
Melvin Fitting.
\newblock {\em Types, Tableaus, and {\goedel'\es} God}.
\newblock \kluwer, 2002.

\bibitem[\protect\citeauthoryear{Frege\protectedfregeindex}{1884}]{frege-grund%
lagen}
Gottlob Frege\protectedfregeindex.
\newblock {\em {Die Grundlagen der Arithmetik}}.
\newblock Verlag von Wilhelm Koebner, \Breslaulocal, 1884.
\newblock Reprinted 1934. Reprinted as facsimile: \olmsverlag, 1990.

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

\bibitem[\protect\citeauthoryear{Gentzen{\protectedgentzenindex}}{1935}]{gentz%
en}
Gerhard Gentzen{\protectedgentzenindex}.
\newblock {Untersuchungen \ue ber da\es\ logische Schlie\sz en}.
\newblock {\em \mathematischezeitschriftname}, 39:176--210,405--431, 1935.
\newblock Also in \cite[\PP{192}{253}]{logiktexte}. {English} translation in
  \cite{gentzen-collected}.

\bibitem[\protect\citeauthoryear{Gentzen{\protectedgentzenindex}}{1969}]{gentz%
en-collected}
Gerhard Gentzen{\protectedgentzenindex}.
\newblock {\em The Collected Papers of \gentzenname}.
\newblock {\northholland}, 1969.
\newblock \Ed\ by \szaboname.

\bibitem[\protect\citeauthoryear{Grimm \bgroup\&\ \egroup
  Grimm}{1854\ff}]{grimm}
Jacob Grimm and Wilhelm Grimm.
\newblock {\em Deutsche\es\ W\oe rter\-buch}.
\newblock \ S. Hirzel, \Leipzig, 1854\ff.
\newblock \ \url{https://woerterbuchnetz.de/DWB}.

\bibitem[\protect\citeauthoryear{Grimm \bgroup\&\ \egroup
  Grimm}{1965\ff}]{grimm-neu}
Jacob Grimm and Wilhelm Grimm.
\newblock {\em {Deutsche\es\ W\oe rter\-buch, Neubearbeitung (A--F)}}.
\newblock \ S. Hirzel, \Stuttgart, 1965\ff.
\newblock \ \url{https://woerterbuchnetz.de/DWB2}.

\bibitem[\protect\citeauthoryear{Gulyga}{1981}]{kant-bio}
Arsenij Gulyga.
\newblock {\em {\kantnameplain}}.
\newblock Insel Verlag (Suhrkamp), \FFM, 1981.
\newblock \Ue bersetzt von {\namefont Sigrun Bielfeldt}. \PPcountnodot{394}.

\bibitem[\protect\citeauthoryear{Heimsoeth}{1966}]{transzendentale-dialektik-1}
Hans Heimsoeth.
\newblock {\em {Tran\esi zendentale Dialektik --- Ein Kommentar zu \kant\es\
  Kritik der reinen Vernunft. \Vol\,I: Ideenlehre und Paralogismen}}.
\newblock \deGruyter, 1966.

\bibitem[\protect\citeauthoryear{Heimsoeth}{1967}]{transzendentale-dialektik-2}
Hans Heimsoeth.
\newblock {\em {Tran\esi zendentale Dialektik --- Ein Kommentar zu \kant\es\
  Kritik der reinen Vernunft. \Vol\,II: Vierfache Vernunftantinomie. Natur und
  Freiheit; intelligibler und empirischer Charakter}}.
\newblock \deGruyter, 1967.

\bibitem[\protect\citeauthoryear{Heimsoeth}{1969}]{transzendentale-dialektik-3}
Hans Heimsoeth.
\newblock {\em {Tran\esi zendentale Dialektik --- Ein Kommentar zu \kant\es\
  Kritik der reinen Vernunft. \Vol\,III: Das Ideal der reinen Vernunft; die
  spekulativen Bewei\esi arten vom Dasein Gotte\es; dialektischer Schein und
  Leitideen der Forschung}}.
\newblock \deGruyter, 1969.

\bibitem[\protect\citeauthoryear{Heimsoeth}{1971}]{transzendentale-dialektik-4}
Hans Heimsoeth.
\newblock {\em {Tran\esi zendentale Dialektik --- Ein Kommentar zu \kant\es\
  Kritik der reinen Vernunft. \Vol\,IV: Die Methodenlehre. Mit einem Nachwort
  und Register f\ue r alle vier Teile}}.
\newblock \deGruyter, 1971.

\bibitem[\protect\citeauthoryear{Hobbs}{1996}]{hobbs}
Jerry~R. Hobbs.
\newblock Monotone decreasing quantifiers in a scope-free logical form.
\newblock 1996.
\newblock In \cite[\PP{55}{76}]{ambiguitycsli}.
  \url{http://www.isi.edu/~hobbs/monotone-decreasing.pdf}.

\bibitem[\protect\citeauthoryear{H{\"o}ffe}{2007}]{hoeffe-kant}
Otfried H{\"o}ffe.
\newblock {\em {\kantname}}.
\newblock \verlagchbeck, 2007.
\newblock \nth 7\,\rev\,\edn\ (\nth 1\,\edn\,1983).

\bibitem[\protect\citeauthoryear{H{\"o}ffe}{2008}]{hoeffe-KrV}
Otfried H{\"o}ffe.
\newblock {\em {\kant\es\ Kritik der reinen Vernunft: Die Grundlegung der
  modernen Philosophie}}.
\newblock \verlagchbeck, 2008.
\newblock \ \nth 4\,\edn\,(\nth 1\,\edn\,2003). \ \PPcountnodot{378}.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1781}]{KrVA}
Immanuel Kan{\protectedkantindex}t.
\newblock {\em {Critik der reinen Vernunft}}.
\newblock \ Johann Friedrich Hartknoch, Riga, 1781.
\newblock \ \url{https://books.google.de/books?id=TQHYROUGD4kC}. \
  \PPcountnodot{24\,(unpagin.:\,Titel,\,Widm.,\,Vorrede1,\,Inhalt)\,+ 856}. \
  \nth 1\,\ednnodot. \ English translation: \cite{KdrV-English}.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1783}]{kant-proleg%
omena}
Immanuel Kan{\protectedkantindex}t.
\newblock {\em {Prolegomena zu einer jeden k\ue nftigen Metaphysik, die al\es\
  Wissenschaft wird auftreten k\oe nnen}}.
\newblock Johann Friedrich Hartknoch, Riga, 1783.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1787}]{KdrV}
Immanuel Kan{\protectedkantindex}t.
\newblock {\em {Critik der reinen Vernunft}}.
\newblock \ Johann Friedrich Hartknoch, Riga, 1787.
\newblock \ Zweite hin und wieder verbesserte Au\fli age. \
  \url{https://books.google.de/books?id=qZEPAAAAQAAJ}. \
  \PPcountnodot{xliv(Titel,\,Widmung,\,Vorrede2)\,+\,884}. \ \nth
  2\,\rev\,\extd\,\edn\,of \cite{KrVA}. \ English translation:
  \cite{KdrV-English}.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1790a}]{KdrVB3}
Immanuel Kan{\protectedkantindex}t.
\newblock {\em {Critik der reinen Vernunft}}.
\newblock \ Johann Friedrich Hartknoch, Riga, 1790.
\newblock \ Dritte Au\fli age. \
  \url{https://books.google.de/books?id=VNoUAAAAQAAJ}. \ Unver\ae nderter, fast
  seiten\-identischer Nachdruck von \cite{KdrV} mit neuer Titel\-seite. \
  \PPcountnodot{xliv(Titel,\,Widmung,\,Vorrede2)\,+\,884}.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1790b}]{KU}
Immanuel Kan{\protectedkantindex}t.
\newblock {\em {Critik der Urtheil\esi kraft}}.
\newblock Lagarde \& Friederich, \Berlin, 1790.
\newblock \nth 1\,\ednnodot.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1794}]{KdrVB4}
Immanuel Kan{\protectedkantindex}t.
\newblock {\em {Critik der reinen Vernunft}}.
\newblock \ Johann Friedrich Hartknoch, Riga, 1794.
\newblock \ Vierte\,Au\fli age. \
  \url{https://books.google.de/books?id=VBZfAAAAcAAJ}. \ Unver\ae nderter, fast
  seiten\-identischer Nachdruck von \cite{KdrV} mit neuer Titel\-seite und
  zus\ae tzlichem Inhalt\esi verzeichnis. \
  \PPcountnodot{xliv(Titel,\,Widmung,Vorrede2)\,+\,8(unpagin.:\,Inhalt)\,+\,88%
4}.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1799}]{KdrVB5}
Immanuel Kan{\protectedkantindex}t.
\newblock {\em {Critik der reinen Vernunft}}.
\newblock \ Johann Friedrich Hartknoch, \Leipzig, 1799.
\newblock \ F\ue nfte Au\fli age. \
  \url{http://books.google.de/books?id=3DQNAAAAYAAJ}. \ Neu gesetzter Nachdruck
  von \cite{KdrV} mit Inhalt\esi verzeichni\es, neuen Seiten\-umbr\ue chen und
  neuer Paginierung. \ \PPcountnodot{xliv\,+\,8(Inhalt\esi
  verzeichnis)\,+\,882}.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1800}]{kant-logik}
Immanuel Kan{\protectedkantindex}t.
\newblock {\em {Logik --- ein Handbuch zu Vorlesungen}}.
\newblock \friedrich\ Nicolovius, \Koenigsberg, 1800.
\newblock \Ed\ by \jaeschename. \url{http://www.textlog.de/kant-logik.html}.
  {English} translation in
  \cite[Part\,IV(The\,\jaesche\,Logic)]{kant-logic-english}.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1818}]{KdrVB6}
Immanuel Kan{\protectedkantindex}t.
\newblock {\em {Critik der reinen Vernunft}}.
\newblock \ Johann Friedrich Hartknoch, \Leipzig, 1818.
\newblock \ Sech\esi te Au\fli age. \
  \url{http://books.google.de/books?id=oS0-AAAAYAAJ}. \ V\oe llig neu gesetzter
  Nachdruck von \cite{KdrV} mit Inhalt\esi verzeichni\es, gr\oe\sz eren Seiten,
  neuen Seiten\-umbr\ue chen und neuer Paginierung. \
  \PPcountnodot{xxxvi(Titel,\,Widmung,\,Vorrede2,\,Inhalt)\,+\,652}.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1828}]{KdrVB7}
Immanuel Kan{\protectedkantindex}t.
\newblock {\em {Critik der reinen Vernunft}}.
\newblock \ Johann Friedrich Hartknoch, \Leipzig, 1828.
\newblock \ Siebente\,Au\fli age. \
  \url{http://books.google.de/books?id=cJOFM46ISTAC}. \ V\oe llig neu gesetzter
  Nachdruck von \cite{KdrV} mit Inhalt\esi verzeichni\es, gr\oe\sz eren Seiten,
  neuen Seiten\-umbr\ue chen und neuer Paginierung. \ Fast seitenidentisch zu
  \cite{KdrVB6}. \
  \PPcountnodot{xxxvi(Titel,\,Widmung,\,Vorrede2,\,Inhalt)\,+\,652}.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1992}]{kant-logic-%
english}
Immanuel Kan{\protectedkantindex}t.
\newblock {\em Lectures on Logic}.
\newblock The Cambridge Edition of the Works of \kantname. \cambridgeunipress,
  1992.
\newblock Translated and \ed\ by {\namefont J. \michaelwithouttrema\ Young}.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1998}]{KrVMeiner}
Immanuel Kan{\protectedkantindex}t.
\newblock {\em {Kritik der reinen Vernunft. Nach der 1.\ und 2. Originalau\esi
  gabe herau\esi gegeben von Jens Timmermann. Mit einer Bibliographie von
  Heiner Klemme.}}
\newblock Meiner, Hamburg, 1998.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{2008}]{KdrV-Englis%
h}
Immanuel Kan{\protectedkantindex}t.
\newblock {\em {Critique of Pure Reason}}.
\newblock Penguin Classics, 2008.
\newblock English translation of \cite{KdrV}, including the differences of the
  first edition (\cite{KrVA}), by {\namefont Max M\ue ller} and {\namefont
  Marcus Weigelt}, \nth 2\,\rev\,\edn\ (\nth 1\,\edn\,2007).

\bibitem[\protect\citeauthoryear{K{\"u}hler{\protectedkuehlerindex} \bgroup\&\
  \egroup Wirth{\protectedwirthindex}}{1996}]{kwspec}
Ulrich K{\"u}hler{\protectedkuehlerindex} and Claus-Peter
  Wirth{\protectedwirthindex}.
\newblock {\em Conditional Equational Specifications of Data Types with Partial
  Operations for Inductive Theorem Proving}.
\newblock {SEKI-Report SR--1996--11 (ISSN 1437--4447)}. {SEKI Publications,
  Bremen}, \FBinfshort, \uniKLshort, 1996.
\newblock \PPcount{24}, \www\url{/p/rta97}. Short version is \cite{kwspec2}.

\bibitem[\protect\citeauthoryear{K{\"u}hler{\protectedkuehlerindex} \bgroup\&\
  \egroup Wirth{\protectedwirthindex}}{1997}]{kwspec2}
Ulrich K{\"u}hler{\protectedkuehlerindex} and Claus-Peter
  Wirth{\protectedwirthindex}.
\newblock Conditional equational specifications of data types with partial
  operations for inductive theorem proving.
\newblock 1997.
\newblock In \cite[\PP{38}{52}]{eighthRTAninetyseven}. Extended version is
  \cite{kwspec}.

\bibitem[\protect\citeauthoryear{Kuhn}{1962}]{kuhn}
Thomas~S. Kuhn.
\newblock {\em The Structure of Scientific Revolutions}.
\newblock \chicagounipress, 1962.
\newblock \nth 1\,\edn.

\bibitem[\protect\citeauthoryear{Meinong}{1904a}]{meinong}
Alexiu{\es} Meinong.
\newblock {\Ue ber \Gegenstandstheorie}.
\newblock 1904.
\newblock In \cite[\PP{1}{50}]{meinonged}.

\bibitem[\protect\citeauthoryear{Meinong}{1904b}]{meinonged}
Alexiu{\es} Meinong, editor.
\newblock {\em {Untersuchungen zur \Gegenstandstheorie\ und Psycho\-logie}}.
\newblock {Barth, \Leipzig}, 1904.

\bibitem[\protect\citeauthoryear{Mendel{\esi}sohn}{1769}]{mendelssohn-unsterbl%
ichkeit-der-seele}
Mose{\es} Mendel{\esi}sohn.
\newblock {\em {Ph\ae don --- oder \ue ber die Unsterblichkeit der Seele in
  drey Gespr\ae chen}}.
\newblock Friedrich Nicolai, \Berlin\ \& Stettin, 1769.
\newblock \nth 3\,\extd\,\rev\,\edn\ (\nth 1\,\edn\,1767).

\bibitem[\protect\citeauthoryear{Padawitz}{1988}]{padawitz-springer}
Peter Padawitz.
\newblock {\em Computing in Horn Clause Theories}.
\newblock {\springerverlag}, 1988.

\bibitem[\protect\citeauthoryear{Padawitz}{2000}]{padawitz-tcs}
Peter Padawitz.
\newblock Swinging types = functions + relations + transition systems.
\newblock {\em \tcsname}, 243:93--165, 2000.

\bibitem[\protect\citeauthoryear{Paton}{1961}]{Kant-Paton}
H.~J. Paton.
\newblock {\em {\kantplain's} Metaphysics of Experience --- a commentary on the
  first half of the {Kritik der reinen Vernunft}}.
\newblock George Allen \& Unwin, London, 1961.
\newblock \nth 3\,\rev\,edn\ (\nth 1\,edn\,1936). In two volumes:
  \PPcountnodot{586+511}.

\bibitem[\protect\citeauthoryear{Peirce\protectedpeirceindex}{1871}]{peirce-18%
71}
Charles~S. Peirce\protectedpeirceindex.
\newblock {Fraser's ``The Works of \berkeleyname''}.
\newblock {\em North American Review}, 113:449--472, 1871.
\newblock Also in \cite[\PP{462}{487}]{peirce-chrono-two}.

\bibitem[\protect\citeauthoryear{Peirce\protectedpeirceindex}{1982}]{peirce-ch%
rono-two}
Charles~S. Peirce\protectedpeirceindex.
\newblock {\em {Writings of\/ \peircename\ --- A Chronological Edition,
  \Vol\,2, 1867--1871}}.
\newblock \indianaunipress, 1982.
\newblock \Ed\ by {\namefont Christian J. W. Kloesel}.

\bibitem[\protect\citeauthoryear{Ritter \bgroup\&al.\egroup
  }{1971--2007}]{historisches-woerterbuch-der-philosophie}
Joachim Ritter, Karlfried Gr{\"u}nder, and Gottfried Gabriel, editors.
\newblock {\em {Hi\esi torische\es\ W\oe rter\-buch der Philosophie}}.
\newblock \wissenschaftlichebuchgesellschaftdarmstadt, 1971--2007.

\bibitem[\protect\citeauthoryear{Russe{\protectedrussellindex}ll}{1905}]{denot%
ing}
Bertrand Russe{\protectedrussellindex}ll.
\newblock {\denotingtitle}.
\newblock {\em \mindname}, 14:479--493, 1905.

\bibitem[\protect\citeauthoryear{Russe{\protectedrussellindex}ll}{1919}]{mathe%
maticalphilosophy}
Bertrand Russe{\protectedrussellindex}ll.
\newblock {\em Introduction to Mathematical Philosophy}.
\newblock {\allenandunwin}, 1919.

\bibitem[\protect\citeauthoryear{Siek{\-}mann \bgroup\&al.\egroup
  }{2002}]{omegacadetwo}
J{\"o}rg Siek{\-}mann, {\mbox{Ch}}ristoph
  Benz{\-}m{\ue}ller{\protectedbenzmuellerindex}, Vladimir Brezhnev,
  Las{\-}saad Cheikh{\-}rou{\-}hou, Armin Fiedler, Andreas Franke, Helmut
  Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner,
  Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter
  Wirth{\protectedwirthindex}, and J{\"u}rgen Zimmer.
\newblock Proof development with {\OMEGA}.
\newblock 2002.
\newblock In \cite[\PP{144}{149}]{eightteenthCADEtwo}. \www\url{/p/omega}.

\bibitem[\protect\citeauthoryear{Smullyan{\protectedsmullyanindex}}{1982}]{smu%
llyan-BC}
Raymond~M. Smullyan{\protectedsmullyanindex}.
\newblock {\em {5000\BC} and Other Philosophical Fantasies --- Puzzles and
  Paradoxes, Riddles and Reasonings}.
\newblock \St\ Martin's Press, \NewYork, 1982.
\newblock German translation is \cite{smullyan-BC-german}.

\bibitem[\protect\citeauthoryear{Smullyan{\protectedsmullyanindex}}{1985}]{smu%
llyan-BC-german}
Raymond~M. Smullyan{\protectedsmullyanindex}.
\newblock {\em {Simpliciu\es\ und der Baum -- Philosophische Phantasien,
  Paradoxe und eine hi\esi torische \Ue berraschung}}.
\newblock Wolfgang Kr\ue ger Verlag, \FFM; \sfischerverlagffm, 1985.
\newblock German translation of \cite{smullyan-BC}.

\bibitem[\protect\citeauthoryear{Smullyan{\protectedsmullyanindex}}{2003}]{smu%
llyan-who-knows}
Raymond~M. Smullyan{\protectedsmullyanindex}.
\newblock {\em Who Knows? --- a study of religious consciousness}.
\newblock \indianaunipress, 2003.

\bibitem[\protect\citeauthoryear{Steele}{1990}]{COMMONLISP}
Guy~L. Steele, {\jr}.
\newblock {\em {\COMMONLISP} --- The Language}.
\newblock \digitalpress, 1990.
\newblock \nth 2\,\edn\ (\nth 1\,\edn\,1984).

\bibitem[\protect\citeauthoryear{Th{\"u}mmig}{1725\ff}]{thuemmig}
Ludwig Philipp~Th. Th{\"u}mmig.
\newblock {\em Institutiones philosophiae Wolffianae, in usus academicos
  adornatae}.
\newblock Rengerische Buchhandlung, \FFM\ \& \Leipzig, 1725\ff.
\newblock \Vol\,1: \nth 1\,\edn\,1725 (\nth 2\,\edn\,1746), \Vol\,2: \nth
  1\,\edn\,1726 (\nth 2\,\edn\,1746), new\,index\,1748.

\bibitem[\protect\citeauthoryear{Tiles}{2004}]{kant-handbook}
Mary Tiles.
\newblock {\kant}: From general to transcental logic.
\newblock 2004.
\newblock In \cite[\Vol\,3: The Rise of Modern Logic: From \leibniz\ to \frege,
  \PP{85}{130}]{handbook-of-the-history-of-logic}.

\bibitem[\protect\citeauthoryear{Voronkov}{2002}]{eightteenthCADEtwo}
Andrei Voronkov, editor.
\newblock {\em {\theeightteenthCADEtwo}}, number 2392 in Lecture Notes in
  Artificial Intelligence. {\springerverlag}, 2002.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}
  \bgroup\&al.\egroup }{2003/04}]{wirthlecture}
Claus-Peter Wirth{\protectedwirthindex}, {\mbox{Ch}}ristoph
  Benz{\-}m{\ue}ller{\protectedbenzmuellerindex}, Armin Fiedler, Andrea Meier,
  Serge Autexier{\protectedautexierindex}, Martin Pollet, and Carsten
  Sch{\"u}rmann.
\newblock Human-oriented theorem proving --- foundations and applications.
\newblock {Lectures winter term 2003/04, \uniSB, {\www\url{/teaching/hotp}}},
  2003/04.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2004}]{wirthcard%
inal}
Claus-Peter Wirth{\protectedwirthindex}.
\newblock {\DescenteInfinie\ + Deduction}.
\newblock {\em {\ljigplname}}, 12:1--96, 2004.
\newblock \www\url{/p/d}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2008}]{wirth-jal}
Claus-Peter Wirth{\protectedwirthindex}.
\newblock \hilbert's epsilon as an operator of indefinite committed choice.
\newblock {\em J. Applied Logic}, 6:287--317, 2008.
\newblock \url{http://dx.doi.org/10.1016/j.jal.2007.07.009}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2012}]{wirth-hil%
bert-seki}
Claus-Peter Wirth{\protectedwirthindex}.
\newblock {\em {\hilbert's} epsilon as an Operator of Indefinite Committed
  Choice}.
\newblock {SEKI-Report SR--2006--02 (ISSN 1437--4447)}. {SEKI Publications,
  Bremen}, Saarland Univ., 2012.
\newblock \Rev\,\edn\ \Jan\,2012, \PPcount{ii+73},
  {\url{http://arxiv.org/abs/0902.3749}}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2015}]{SWP--2007%
--01}
Claus-Peter Wirth{\protectedwirthindex}.
\newblock {\em {\kuhnname: Die Struktur Wissenschaftlicher Revolutionen (The
  Structure of Scientific Revolutions) --- Zweisprachige Ausz\"uge mit
  Deutschem Kommentar}}.
\newblock {SEKI-Working-Paper SWP--2007--01 (ISSN 1860--5931)}. {SEKI
  Publications, Bremen}, Saarland University, 2015.
\newblock \Rev\,\edn\ \Mar\,2015, \PPcount{ii+44}, \wirthkuhnurl.

\bibitem[\protect\citeauthoryear{Wolff}{1728}]{wolff-rationalis}
Christian Wolff.
\newblock {\em Philosophia rationalis sive Logica, methodo scientifica
  pertractata et ad usum scientiarium atque vitae aptata}.
\newblock Rengerische Buchhandlung, \FFM\ \& \Leipzig, 1728.
\newblock \nth 1\,\edn.

\end{thebibliography}
