Samuel R. Buss (buss-sr)

Contributi a Philosophie.ch

Bibliography

Buss, Samuel R. 1986. Bounded Arithmetic. Napoli: Bibliopolis.
Buss, Samuel R., ed. 1998a. Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics n. 137. Amsterdam: Elsevier Science Publishers B.V.
Buss, Samuel R. 1998b. “An Introduction to Proof Theory.” in Handbook of Proof Theory, edited by Samuel R. Buss, pp. 1–78. Studies in Logic and the Foundations of Mathematics n. 137. Amsterdam: Elsevier Science Publishers B.V.
Buss, Samuel R. 1998c. “First-Order Proof Theory of Arithmetic.” in Handbook of Proof Theory, edited by Samuel R. Buss, pp. 79–147. Studies in Logic and the Foundations of Mathematics n. 137. Amsterdam: Elsevier Science Publishers B.V.
Buss, Samuel R., Hájek, Petr and Pudlák, Pavel, eds. 2000. Logic Colloquium ’98 – Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic held in Prague. Lecture Notes in Logic n. 13. Urbana, Illinois: Association of Symbolic Logic; A.K. Peters.
Buss, Samuel R., Kechris, Alexander S., Pillay, Anand and Shore, Richard A. 2001. “The Prospects for Mathematical Logic in the Twenty-First Century.” The Bulletin of Symbolic Logic 7(2): 169–196.