Carlos Augusto Di Prisco (diprisco)

Beiträge zu Philosophie.ch

Bibliography

Di Prisco, Carlos Augusto. 2002. “Review of Epstein and Carnielli (1989) and of Epstein and Carnielli (2000).” The Bulletin of Symbolic Logic 8(1): 101–104.
Di Prisco, Carlos Augusto. 2015. “Some Aspects of the Ramsey Theory of Real Numbers.” in Logic without Borders. Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés Villaveces, pp. 115–138. Ontos Mathematical Logic n. 5. Berlin: de Gruyter.
Di Prisco, Carlos Augusto and Henle, Jim M. 1999. “Partition of Reals and Choice.” in Models, Algebras, and Proofs. Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogotá, edited by Xavier Caicedo and Carlos H. Montenegro, pp. 13–24. New York: Marcel Dekker.

Further References

Epstein, Richard L. and Carnielli, Walter A. 1989. Computability. Computable Functions, Logic, and the Foundations of Mathematics. Belmont, California: Wadsworth Publishing Co.
Epstein, Richard L. and Carnielli, Walter A. 2000. Computability. Computable Functions, Logic, and the Foundations of Mathematics. 2nd ed. Belmont, California: Wadsworth Publishing Co.