Page 181 - Textos de Matemática Vol. 40

Bibliography 169 [Ru¨e03b] Christian Ru¨ede. Universes in metapredicative analysis. Archive for
Mathematical Logic, 42(2):129–151, 2003.
[Rus03] Bertrand Russell. The Principles of Mathematics, volume I. The
University Press, Cambridge, 1903.
[Sch13] Artur Schoenflies. Entwickelung der Mengenlehre und ihrer An- wendungen. B.G.Teubner, 1913. Rework of the Report published in volume VIII of the Jahresberichte der Deutschen Mathematiker- Vereinigung.
[Sch24] Moses Scho¨nfinkel. U¨ber die Bausteine der mathematischen Logik. Mathematische Annalen, 92:305–316, 1924. English translation [Sch67].
[Sch60] Kurt Schu¨tte. Beweistheorie. Springer, 1960.
[Sch67] Moses Sch¨onfinkel. On the building blocks of mathematical logic. In Jean van Heijenoort, editor, From Frege to G¨odel: A Source Book in Mathematical Logic, 1879–1931, pages 355–366. [vH67], Harvard University Press, 1967. English translation of [Sch24].
[Sch77] Kurt Schu¨tte. Proof Theory. Springer, 1977.
[Sch86] David Schmidt. Denotational Semantics. Allyn and Bacon, 1986.
[Sch95] Andreas Schlu¨ter. A theory of rules for enumerated classes of func- tions. Archive for Mathematical Logic, 34:47–63, 1995.
[Sco69] Dana Scott. A type-theoretical alternative to ISWIM, CUCH, OWHY. Manuscript, 1969. Later published in Theoretical Computer Science, 121:411–440,1993.
[Sco75] Dana Scott. Combinators and classes. In C. B¨ohm, editor, λ-Calculus and Computer Science Theory, volume 37 of Lecture Notes in Com- puter Science, pages 1–26. Springer, 1975.
[Sco79] Dana Scott. Identity and existence in intuitionistic logic. In M. Four- man, C. Mulvey, and D. Scott, editors, Applications of Sheaves, vol- ume 753 of Lecture Notes in Mathematics, pages 660–696. Springer, 1979.
[Sco80] Dana Scott. Lambda calculus: Some models, some philosophy. In J. Barwise, H. J. Keisler, and K. Kunen, editors, The Kleene Sym- posium, pages 223–265. North-Holland, 1980.