22 found
Order:
  1.  19
    Weak Second-Order Arithmetic and Finite Automata.J. Richard Büchi - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (1-6):66-92.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   28 citations  
  2.  8
    Weak Second‐Order Arithmetic and Finite Automata.J. Richard Büchi - 1960 - Mathematical Logic Quarterly 6 (1‐6):66-92.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   33 citations  
  3.  15
    Model Theoretic Approaches to Definability.J. Richard Büchi & Kenneth J. Danhof - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):61-70.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  17
    State-Strategies for Games in $F{\Sigma\Delta} \Bigcap G{\Delta\Sigma}$.J. Richard Büchi - 1983 - Journal of Symbolic Logic 48 (4):1171 - 1198.
  5.  6
    Deterministic Automata and the Monadic Theory of Ordinals < Ω2.J. Richard Büchi & Charles Zaiontz - 1983 - Mathematical Logic Quarterly 29 (5):313-336.
  6.  37
    Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma From the Viewpoint of the Hierarchy of Types.J. Richard Buchi - 1953 - Journal of Symbolic Logic 18 (2):125 - 135.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  7.  24
    Definability in the Monadic Second-Order Theory of Successor.J. Richard Buchi & Lawrence H. Landweber - 1969 - Journal of Symbolic Logic 34 (2):166 - 170.
  8. The Monadic Second Order Theory of All Countable Ordinals.J. Richard Büchi - 1973 - 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]₁.
     
    Export citation  
     
    My bibliography   1 citation  
  9. State-Strategies for Games in Fσδ ∩ Gδσ.J. Richard Büchi - 1983 - Journal of Symbolic Logic 48 (4):1171-1198.
  10.  10
    Book Review:Naive Set Theory Paul R. Halmos. [REVIEW]J. Richard Buchi - 1961 - Philosophy of Science 28 (4):445-.
  11.  9
    Review of K. Menger, The Basic Concepts of Mathematics[REVIEW]J. Richard Buchi - 1957 - Philosophy of Science 24 (4):366-.
  12.  2
    Review: Louise H. Chin, Alfred Tarski, Distributive and Modular Laws in the Arithmetic of Relation Algebras. [REVIEW]J. Richard Buchi - 1953 - Journal of Symbolic Logic 18 (1):72-72.
  13.  1
    The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals.J. Richard Büchi & Dirk Siefkes - 1983 - Mathematical Logic Quarterly 29 (5):289-312.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14.  1
    Variations on a Theme of Cantor in the Theory of Relational Structures.J. Richard Büchi & Kenneth J. Danhof - 1973 - Mathematical Logic Quarterly 19 (26‐29):411-426.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  1
    Review: Bjarni Jonsson, Alfred Tarski, Boolean Algebras with Operators. [REVIEW]J. Richard Buchi - 1953 - Journal of Symbolic Logic 18 (1):70-71.
  16.  1
    Model Theoretic Approaches to Definability.J. Richard Büchi & Kenneth J. Danhof - 1972 - Mathematical Logic Quarterly 18 (4‐6):61-70.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  17. Chin Louise H. And Tarski Alfred. Distributive and Modular Laws in the Arithmetic of Relation Algebras. University of California Publications in Mathematics, N.S. Vol. 1 No. 9 , Pp. 341–384. [REVIEW]J. Richard Büchi - 1953 - Journal of Symbolic Logic 18 (1):72.
  18. Jónsson Bjarni and Tarski Alfred. Boolean Algebras with Operators. American Journal of Mathematics, Vol. 73 , Pp. 891–939, and Vol. 74 , Pp. 127–162. [REVIEW]J. Richard Büchi - 1953 - Journal of Symbolic Logic 18 (1):70-71.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Ribeiro Hugo. A Remark on Boolean Algebras with Operators. American Journal of Mathematics, Vol. 74 , Pp. 163–167.J. Richard Büchi - 1953 - Journal of Symbolic Logic 18 (1):71.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. Review: Alonzo Church, Logic, Arithmetic, and Automata. [REVIEW]J. Richard Buchi - 1964 - Journal of Symbolic Logic 29 (4):210-210.
     
    Export citation  
     
    My bibliography  
  21. Review: Hugo Ribeiro, A Remark on Boolean Algebras with Operators. [REVIEW]J. Richard Buchi - 1953 - Journal of Symbolic Logic 18 (1):71-71.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. Book Review:Die Axiomatischen Grundlagen Einer Allgemeinen Theorie des Messens J. Pfanzagl. [REVIEW]J. Richard Buchi - 1960 - Philosophy of Science 27 (2):224-.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography