Page 167 - Textos de Matemática Vol. 40

Bibliography 155
[Can93] Andrea Cantini. Extending the first-order theory of combinators with self-referential truth. Journal of Symbolic Logic, 58:477–513, 1993.
[Can95] Andrea Cantini. Levels of truth. Notre Dame Journal of Formal Logic, 36:185–213, 1995.
[Can96] Andrea Cantini. Logical Frameworks for Truth and Abstraction, vol- ume 135 of Studies in Logic and the Foundations of Mathematics. North-Holland, 1996.
[Can99] Andrea Cantini. Relating Quine’s NF to Feferman’s EM. Studia Logica, 62(2):141–162, 1999.
[Can00] Andrea Cantini. Feasible operations and applicative theories based on λη. Mathematical Logic Quarterly, 46(3):291–312, 2000.
[Can05a] Andrea Cantini. Choice and uniformity in weak applicative theories. In M. Baaz, S. Friedman, and J. Kraj´ıˇcek, editors, Logic Colloquium ’01, volume 20 of Lecture Notes in Logic, pages 108–138. ASL and AK Peters, 2005.
[Can05b] Andrea Cantini. Remarks on applicative theories. Annals of Pure and Applied Logic, 136(1–2):91–115, 2005.
[Can0x] Andrea Cantini. Paradoxes, self-reference and truth in the 20th cen- tury. to appear in: The Handbook of the History of Logic, Volume 5 (D. Gabbay and J. Woods, editors), 200x.
[CF58] Haskell Curry and Robert Feys. Combinatory Logic, volume I. North- Holland, 1958. Cited according to the third printing 1974.
[CH0x] F. Cardone and J. R. Hindley. History of lambda-calculus and com- binatory logic. to appear in: The Handbook of the History of Logic, Volume 5 (D. Gabbay and J. Woods, editors), 200x.
[CHS72] Haskell Curry, J. Roger Hindley, and Jonathan Seldin. Combinatory Logic, volume II. North-Holland, 1972.
[Chu32] Alonzo Church. A set of postulates for the foundations of logic. Annals of Mathematics (2), 33(2):346–366, 1932.
[Chu33] Alonzo Church. A set of postulates for the foundations of logic (second paper). Annals of Mathematics (2), 34(4):839–864, 1933.
[Chu36] Alonzo Church. A note on the Entscheidungsproblem. Journal of Symbolic Logic, 1:40–41, 1936. Correction to A note on the Entschei- dungsproblem, ibid., pp. 101–102.