Works by Buss, S. (exact spelling)

( view other items matching `Buss, S.`, view all matches )
6 found
Order:
  1. Chapter 1: An introduction to proof theory & Chapter 2: Firstorder proof theory of arithmetic.S. Buss - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier.
     
    Export citation  
     
    Bookmark   35 citations  
  2. Irvine, California March 30–April 2, 1995.C. A. Anderson, S. Buss, M. Foreman & C. Laskowski - 1995 - Bulletin of Symbolic Logic 1 (3).
     
    Export citation  
     
    Bookmark  
  3. Kearnes, KA, Kiss, EW and Valeriote, MA, A geometric.M. Borisavljevit, S. Buss, G. Mints, T. Coquand, A. A. Ivanov & D. Macpherson - 1999 - Annals of Pure and Applied Logic 99:261.
     
    Export citation  
     
    Bookmark  
  4.  21
    1998 European Summer Meeting of the Association for Symbolic Logic.S. Buss - 1999 - Bulletin of Symbolic Logic 5 (1):59-153.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5. Fischer, JM-The Metaphysics of Free Will.S. Buss - 1997 - Philosophical Books 38:117-120.
     
    Export citation  
     
    Bookmark  
  6.  51
    Review: What Does the Structure of Intentional Action Tell Us About Our Reasons for Action? [REVIEW]S. Buss - 2008 - Mind 117 (468):1035-1050.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation