Works by J. Richard Buchi ( view other items matching `J. Richard Buchi`, view all matches )

9 found
Sort by:
  1. J. Richard Büchi (1983). State-Strategies for Games in $F{\Sigma\Delta} \Bigcap G{\Delta\Sigma}$. Journal of Symbolic Logic 48 (4):1171 - 1198.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. J. Richard Büchi (1973). The Monadic Second Order Theory of All Countable Ordinals. New York,Springer.
    Büchi, J. R. The monadic second order theory of [omega symbol]₁.--Büchi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]₁.
    No categories
     
    My bibliography  
     
    Export citation  
  3. J. Richard Büchi & Lawrence H. Landweber (1969). Definability in the Monadic Second-Order Theory of Successor. Journal of Symbolic Logic 34 (2):166-170.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. J. Richard Buchi & Lawrence H. Landweber (1969). Definability in the Monadic Second-Order Theory of Successor. Journal of Symbolic Logic 34 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. J. Richard Buchi (1961). Book Review:Naive Set Theory Paul R. Halmos. [REVIEW] Philosophy of Science 28 (4):445-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. J. Richard Buchi (1960). Book Review:Die Axiomatischen Grundlagen Einer Allgemeinen Theorie des Messens J. Pfanzagl. [REVIEW] Philosophy of Science 27 (2):224-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. J. Richard Buchi (1957). Review of K. Menger, The Basic Concepts of Mathematics. [REVIEW] Philosophy of Science 24 (4):366-.
  8. J. Richard Büchi (1953). Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma From the Viewpoint of the Hierarchy of Types. Journal of Symbolic Logic 18 (2):125-135.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. J. Richard Buchi (1953). Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma From the Viewpoint of the Hierarchy of Types. Journal of Symbolic Logic 18 (2).
    Direct download  
     
    My bibliography  
     
    Export citation