Page 169 - Textos de Matemática Vol. 40

Bibliography 157 [Fef85] Solomon Feferman. A theory of variable types. Revista Colombiana
de Matem´aticas, XIX:95–105, 1985.
[Fef88a] Solomon Feferman. Hilbert’s program relativized: Proof-theoretical and foundational reductions. Journal of Symbolic Logic, 53:364–384, 1988.
[Fef88b] Solomon Feferman. Weyl vindicated: “Das Kontinuum” 70 years later. In Temi e prospettive della logica e della filosofia della scienza contemporanee, volume I, pages 59–93. CLUEB, Bologna, 1988.
[Fef90] Solomon Feferman. Polymorphic typed lambda-calculus in a type- free axiomatic framework. In W. Sieg, editor, Logic and Compu- tation, volume 106 of Contemporary Mathematics, pages 101–136. American Mathematical Society, 1990.
[Fef91a] Solomon Feferman. Logics for termination and correctness of func- tional programs. In Y. Moschovakis, editor, Logic from Computer Sciences, pages 95–127. Springer, 1991.
[Fef91b] Solomon Feferman. Reflecting on imcompleteness. Journal of Sym- bolic Logic, 56(1):1–49, 1991.
[Fef92] Solomon Feferman. A new approach to abstract data types II: com- putation on ADTs as ordinary computations. In E. B¨orger, G. J¨ager, H. Kleine Bu¨ning, and M. M. Richter, editors, Computer Science Logic CSL ’91, volume 626 of Lecture Notes in Computer Science, pages 79–95. Springer, 1992.
[Fef95] Solomon Feferman. Definedness. Erkenntnis, 43:295–320, 1995.
[Fef96] Solomon Feferman. Computation on abstract data types. the exten- sional approach, with an application to streams. Annals of Pure and Applied Logic, 81(1–3):75–113, September 1996.
[Fef00] Solomon Feferman. Does reductive proof theory have a viable ratio- nale? Erkenntnis, 53(1–2):63–96, 2000.
[FF90] Simon Finn and Michael P. Fourman. Logic Manual for the LAMBDA System 3.2. Abstract Hardware Ltd., November 1990.
[FFM90] Mick Francis, Simon Finn, and Ellie Mayger. Reference Manual for the LAMBDA System 3.2. Abstract Hardware Ltd., 1990.
[Fin26] Paul Finsler. U¨ber die Grundlegung der Mengenlehre. Mathemati- sche Zeitschrift, 25:683–713, 1926. Reprinted in [Fin75, p. 19–49].
[Fin75] Paul Finsler. Aufs¨atze zur Mengenlehre. Wissenschaftliche Buchge- sellschaft, Darmstadt, 1975.