Page 185 - Textos de Matemática Vol. 40

Bibliography 173
[Tar56] Alfred Tarski. The concept of truth in formalized languages. In Logic, Semantics, Metamathematics, pages 152–278. Clarendon Press, Ox- ford, 1956. Revised and supplemented English translation of [Tar36].
[Tat91] Makoto Tatsuta. Program synthesis using realizability. Theoretical Computer Science, 90(2):309–353, 1991.
[Tat98] Makoto Tatsuta. Realizability for constructive theory of functions and classes and its application to program synthesis. In Thirteenth Annual IEEE Symposium on Logic in Computer Science, pages 358– 367. IEEE Computer Society, 1998.
[Thi95a] Christian Thiel. Eintrag Funktion. In J. Mittelstraß, editor, Enzy- klop¨adie Philosophie und Wissenschaftstheorie, volume A–G, pages 691–692. J.B. Metzler, 1995.
[Thi95b] Christian Thiel. Eintrag Sch¨onfinkel, Moses. In J. Mittelstraß, edi- tor, Enzyklop¨adie Philosophie und Wissenschaftstheorie, volume P– So, pages 726–727. J.B. Metzler, 1995.
[Thi96] Christian Thiel. Research on the history of logic at Erlangen. In I. Angelelli and M. Cerezo, editors, Studies on the History of Logic. Proceedings of the III. Symposium on the History of Logic, Perspek- tiven der Analytischen Philosophie, 8, pages 397–401. de Gruyter, 1996.
[Thi03] Klaus Thiel. Meta-predicative set theories and provable ordinals. PhD thesis, University of Leeds, 2003.
[Tup01] Sergei Tupailo. Realization of analysis into explicit mathematics. Journal of Symbolic Logic, 66(4):1848–1864, 2001.
[Tup03] Sergei Tupailo. Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe. An- nals of Pure and Applied Logic, 120(1–3):165–196, 2003.
[Tup04] Sergei Tupailo. On the intuitionistic strength of monotone inductive definitions. Journal of Symbolic Logic, 69(3):790–798, 2004.
[Tur36] Alan Turing. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical So- ciety (2), 42:230–265, 1936. A correction, ibid., 43:544–546, 1937.
[Tur91] Raymond Turner. Constructive Foundations for Functional Lan- guages. McGraw Hill, 1991.
[Tur96] Raymond Turner. Weak theories of operations and types. Journal of Logic and Computation, 6(1):5–31, 1996.