Zobrazeno 1 - 10 of 387 pro vyhledávání: '"Büchi J"'
4
Akademický článek
State-Strategies for Games in $F_{\sigma\delta} \bigcap G_{\delta\sigma}$
Autor: Büchi, J. Richard
Publikováno v: The Journal of Symbolic Logic, 1983 Dec 01. 48(4), 1171-1198.
Externí odkaz: https://www.jstor.org/stable/2273681
Zobrazit plný text záznamu
5
Akademický článek
Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types
Autor: Büchi, J. Richard
Publikováno v: The Journal of Symbolic Logic, 1953 Jun 01. 18(2), 125-135.
Externí odkaz: https://www.jstor.org/stable/2268945
Zobrazit plný text záznamu
6
Akademický článek
Definability in the Monadic Second-Order Theory of Successor
Autor: Büchi, J. Richard, Landweber, Lawrence H.
Publikováno v: The Journal of Symbolic Logic, 1969 Jun 01. 34(2), 166-170.
Externí odkaz: https://www.jstor.org/stable/2271090
Zobrazit plný text záznamu
7
Akademický článek
Invariants of the Anti-Automorphisms of a Group
Autor: Büchi, J. Richard, Wright, Jesse B.
Publikováno v: Proceedings of the American Mathematical Society, 1957 Dec 01. 8(6), 1134-1140.
Externí odkaz: https://www.jstor.org/stable/2032693
Zobrazit plný text záznamu
8
Akademický článek
Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory.
Autor: Richard Büchi†, J.1, Senger, Steven1
Publikováno v: Mathematical Logic Quarterly. 1988, Vol. 34 Issue 4, p337-342. 6p.
Zobrazit plný text záznamu
9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
10
Akademický článek
Coding in the existential theory of concatenation.
Autor: Büchi, J., Senger, Steven
Publikováno v: Archiv für Mathematische Logik und Grundlagenforschung; Dec1987, Vol. 26 Issue 1, p101-106, 6p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje