Page 170 - Textos de Matemática Vol. 40

158 Bibliography
[FJ93] Solomon Feferman and Gerhard J¨ager. Systems of explicit mathe- matics with non-constructive μ-operator. Part I. Annals of Pure and Applied Logic, 65(3):243–263, December 1993.
[FJ96] Solomon Feferman and Gerhard J¨ager. Systems of explicit mathe- matics with non-constructive μ-operator. Part II. Annals of Pure and Applied Logic, 79:37–52, 1996.
[FM87a] Robert Flagg and John Myhill. An extension of Frege structures. In D. Kueker, E. Lopez-Escobar, and C. Smith, editors, Mathematical Logic and theoretical computer science, pages 197–217. Dekker, 1987.
[FM87b] Robert Flagg and John Myhill. Implication and analysis in classical Frege structures. Annals of Pure and Applied Logic, 34:33–85, 1987.
[Fre84] Gottlob Frege. Die Grundlagen der Arithmetik. Wilhelm Koeb- ner, 1884. Reprinted, M. & H. Barcus, Breslau, 1934 and Olms, Hildesheim, 1961. English translation in [Fre50].
[Fre91] Gottlob Frege. Function und Begriff. Vortrag, gehalten in der Sitzung vom 9. Januar 1891 der Jenaischen Gesellschaft fu¨r Medicin und Naturwissenschaften. H. Pohle, Jena, 1891. Reprinted in [Fre69, 17–39].
[Fre93] Gottlob Frege. Grundgesetze der Arithmetik; begriffschriftlich abgeleitet, volume 1. Jena, 1893.
[Fre03] Gottlob Frege. Grundgesetze der Arithmetik, begriffschriftlich abgeleitet, volume 2. Hermann Pohle, Jena, 1903. Reprinted together with volume 1, Olms, Hildesheim 1966.
[Fre50] Gottlob Frege. The Foundations fo Arithmetic. Blackwell, 1950. Translated by J. L. Austin.
[Fre52] Gottlob Frege. Translations from the Philosophical Writings of Gott- lob Frege. (Peter Geach and Max Black, editors), Blackwell, Oxford, 1952. Second edition 1960.
[Fre69] Gottlob Frege. Funktion, Begriff, Bedeutung. (G. Patzig, editor), Vandenhoeck & Ruprecht, 1969.
[Fre76] Gottlob Frege. Wissenschaftlicher Briefwechsel. (G. Gabriel et al., editors), Meiner, 1976.
[FS81] Solomon Feferman and Wilfried Sieg. Proof-theoretic equivalences between classical and constructive theories for analysis. In W. Buch- holz, S. Feferman, W. Pohlers, and W. Sieg, editors, Iterated