Word problems : :: SCD d'Orléans

Word problems : Decision Problems and the Burnside Problem in Group Theory

Word problems : Decision Problems and the Burnside Problem in Group Theory

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Awdur Corfforaethol:	Conference on Decision problems in group theory :Irvine, Calif., U.S.A.
Awduron Eraill:	Boone, William W., 1920-1983 (Cyfarwyddwr cyhoeddi), Lyndon, Roger Conant, 1917-1988 (Cyfarwyddwr cyhoeddi), Cannonito, Franck Benjamin, 19..- (Cyfarwyddwr cyhoeddi)
Fformat:	Livre papier
Iaith:	Anglais
Cyhoeddwyd:	Amsterdam [etc.] : North-Holland 1973.
Cyfres:	Studies in logic and the foundations of mathematics 71
Pynciau:	Problèmes des mots (mathématiques) Groupes, Théorie des Burnside, Problème de Gödel, Théorème de Actes de congrès
Nodyn:	Ce volume est issu de la conférence 'Decision problems in group theory', (CODEP) qui s'est tenue à l' Université de Californie, Irvine, en Septembre 1969
Autres localisations:	Voir dans le Sudoc

Eitemau Tebyg

Burnside groups : proceedings of a workshop held at the University of Bielefeld, Germany June July 1977
gan: Mennicke, Jens L., 1931-

Around Burnside
gan: Kostrikin, Aleksei Ivanovich, 1929-2000

The monadic second order theory of all countable ordinals
gan: Büchi, Julius Richard, 1924-1984

The Geometry of the Word Problem for Finitely Generated Groups
gan: Brady, Noel, et al.

The monadic second order theory of all countable ordinals
gan: Büchi, Julius Richard, 1924-1984, et al.
Cyhoeddwyd: (1973)

Extensional Gödel functional interpretation : a consistency proof of classical analysis
gan: Luckhardt, Horst
Cyhoeddwyd: (1973)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
gan: Cori, René, et al.
Cyhoeddwyd: (1993)

Extensional Gödel functional interpretation : a consistency proof of classical analysis
gan: Luckhardt, Horst

Aux frontières des mathématiques : Kurt Gödel et l'incomplétude
gan: Delahaye, Jean-Paul, 1952-
Cyhoeddwyd: (2025)

Les théorèmes d'incomplétude de Gödel
gan: Smullyan, Raymond Merrill, 1919-2017
Cyhoeddwyd: (2000)

Undecidable theories
gan: Tarski, Alfred, 1901-1983
Cyhoeddwyd: (1971)

On formally undecidable propositions of Principia mathematica and related systems
gan: Gödel, Kurt, 1906-1978
Cyhoeddwyd: (1962)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
gan: Cori, René, 1949-...., mathématicien, et al.
Cyhoeddwyd: (2003)

A Course on Mathematical Logic
gan: Srivastava, Sashi Mohan, 19..-

Aux frontières des mathématiques : Kurt Gödel et l'incomplétude
gan: Delahaye, Jean-Paul, 1952-
Cyhoeddwyd: (2025)

Les théorèmes d'incomplétude de Gödel
gan: Smullyan, Raymond Merrill, 1919-2017
Cyhoeddwyd: (1993)

Enumerability, decidability, computability : an introduction to the theory of recursive functions
gan: Hermes, Hans, 1912-2003
Cyhoeddwyd: (1965)

Le théorème de Gödel
gan: Nagel, Ernest, 1901-1985, philosophe, logicien, et al.
Cyhoeddwyd: (1997)

Komplexität von Entscheidungsproblemen : ein seminar
gan: Specker, Ernst, 1920-2011
Cyhoeddwyd: (2005)

Automata on infinite words

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
gan: Davis, Martin, 1928-2023, et al.
Cyhoeddwyd: (1965)

‘It was suddenly hard winter’: John Burnside’s Crossings
gan: Wolfreys, Julian
Cyhoeddwyd: (2015)

Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
gan: Ladrière, Jean, 1921-2007
Cyhoeddwyd: (1992)

Je suis une boucle étrange
gan: Hofstadter, Douglas R., 1945-
Cyhoeddwyd: (2021)

Gödel et Hilbert : l'impact des théorèmes de Gödel de 1931 et apparentés sur le programme de Hilbert
gan: Pissavin, Patrice, 1955-
Cyhoeddwyd: (2021)

Complementarity and fixed point problems
gan: Balinski, Michel, 1933-2019, mathématicien

Foundations of Mathematics : Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel
gan: Bulloff, Jack J., 19..-

Problems in group theory
gan: Dixon, John D., 1937-
Cyhoeddwyd: (1967)

Intégration et espaces de Lebesgue : exercices et problèmes corrigés
gan: Vo, Khac Khoan, 1936-
Cyhoeddwyd: (1994)

Les représentations linéaires et le grand théorème de Fermat
Cyhoeddwyd: (2010)

Topological Methods for Ordinary Differential Equations : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini Terme, Italy, June 24 July 2, 1991
gan: Fitzpatrick, Patrick Michael, 1946-, et al.

Kurt Gödel et son panthéon démoniaque : vers un autre théorème sinthomatique ?
gan: Gumpper, Stéphane, et al.
Cyhoeddwyd: (2010)

Problèmes de préparation à l'agrégation de mathématiques. Algèbre : groupes, arithmétique
gan: Arnaudiès, Jean-Marie, 1941-
Cyhoeddwyd: (1997)

Topological and Bivariant K-Theory
gan: Cuntz, Joachim J. R., 1948-...., mathématicien, et al.

Schaum's outline of theory and problems of group theory
gan: Baumslag, Benjamin, 19..-, et al.
Cyhoeddwyd: (1968)

The Riemann Problem, Complete Integrability and Arithmetic Applications : Proceedings of a Seminar Held at the Institut des Hautes Etudes Scientifiques, Bures-sur Yvette, France, and at Columbia University, New York, U.S.A., 1979 1980

Les démons de Gödel : logique et folie
gan: Cassou-Noguès, Pierre, 1971-
Cyhoeddwyd: (2012)

L'extension du groupe de Poincaré aux symétries internes des particules élémentaires : Gif-sur-Yvette, 1er - 5 avril 1966
Cyhoeddwyd: (1968)

Information theory and the central limit theorem
gan: Johnson, Oliver T.
Cyhoeddwyd: (2004)

Number Theory Related to Fermat s Last Theorem : Proceedings of the conference sponsored by the Vaughn Foundation
gan: Koblitz, Neal, 1948-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales