Carolyn L. Talcott (talcott-c)

Beiträge zu Philosophie.ch

Bibliography

Mason, Ian A. and Talcott, Carolyn L. 2002. “Feferman-Landini Logic.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 293–328. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.
Sieg, Wilfried, Sommer, Richard and Talcott, Carolyn L., eds. 2002. Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.
Talcott, Carolyn L. 1991. “Binding Structures.” in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir Lifschitz, pp. 427–448. New York: Academic Press.
Weyhrauch, Richard W., Cadoli, Marco and Talcott, Carolyn L. 1998. “Using Abstract Resources to Control Reasoning.” Journal of Logic, Language, and Information 7(1): 77–101.