Page 168 - Textos de Matemática Vol. 40

156 Bibliography [CM99] Andrea Cantini and Pierluigi Minari. Uniform inseparability in ex-
plicit mathematics. Journal of Symbolic Logic, 64(1):313–326, 1999. [Cur30] Haskell Curry. Grundlagen der kombinatorischen Logik. American
Journal of Mathematics, 52:509–536 and 789–834, 1930.
[Cur36] Haskell Curry. First properties of functionality in combinatory logic.
Tˆohoku Math. J., 41:371–401, 1936.
[Cur42] Haskell Curry. The inconsistency of certain formal logics. Journal of
Symbolic Logic, 7:115–117, 1942.
[Cur80] Haskell Curry. Some philosophical aspects of combinatory logic. In J. Barwise, H. J. Keisler, and K. Kunen, editors, The Kleene Sym- posium, pages 85–101. North-Holland, 1980.
[Der05] Nachum Dershowitz. The four sons of Penrose. In G. Sutcliffe and A. Voronkov, editors, Proceedings of the Eleventh Conference on Logic Programming for Artificial Intelligence and Reasoning (LPAR) (Montego Bay, Jamaica), volume 3835 of Lecture Notes in Artificial Intelligence, pages 125–138. Springer, 2005.
[Dra74] F. R. Drake. Set Theory: an Introduction to Large Cardinals. North Holland, 1974.
[Dub81] Walter Dublislav. Die Definition. Meiner, 1981. 4th edition; reprint of the 3rd edition of 1931.
[Fef70] Solomon Feferman. Formal theories for transfinite iterations of gen- eralized inductive definitions and some subsystems of analysis. In A. Kino, J. Myhill, and R. Vesley, editors, Intuitionismus and Proof Theory, pages 303–326. North-Holland, 1970.
[Fef75] Solomon Feferman. A language and axioms for explicit mathematics. In J. Crossley, editor, Algebra and Logic, volume 450 of Lecture Notes in Mathematics, pages 87–139. Springer, 1975.
[Fef77] Solomon Feferman. Theories of finite type related to mathematical practice. In J. Barwise, editor, Handbook of Mathematical Logic, pages 913–971. North-Holland, 1977.
[Fef79] Solomon Feferman. Constructive theories of functions and classes. In M. Boffa, D. van Dalen, and K. McAloon, editors, Logic Colloquium 78, pages 159–224. North–Holland, 1979.
[Fef82] Solomon Feferman. Iterated inductive fixed-point theories: Applica- tion to Hancock’s conjecture. In G. Metakides, editor, Patras Logic Symposion, pages 171–196. North–Holland, 1982.