Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Provability, Computability and Reflection

Burnside problem. --- Congresses. --- Godel's theorem. --- Godel's theorem -- Congresses. --- Group theory. --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Word problems (Mathematics). --- Mathematics --- Physical Sciences & Mathematics --- Algebra --- Physical Sciences and Mathematics --- Group theory --- Godel's theorem --- Word problems (Mathematics)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Group theory --- Groupes, Théorie des --- Burnside, Problème de --- Burnside problem --- Groupes, Théorie des. --- Burnside, Problème de. --- Gödel's theorem --- Word problems (Mathematics) --- Théorème de Gödel --- Problèmes des mots (Mathématiques) --- Burnside, Problème de --- Congresses --- Congrès --- ELSEVIER-B EPUB-LIV-FT --- Burnside problem. --- Gödel's theorem --- Word problems (Mathematics). --- Congresses. --- 510.6 --- Groupes, Théorie des --- Décidabilité (logique mathématique) --- 510.6 Mathematical logic --- Mathematical logic --- Problems, Word (Mathematics) --- Story problems (Mathematics) --- Mathematics --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Incompleteness theorems --- Logic, Symbolic and mathematical --- Number theory --- Decidability (Mathematical logic) --- Problem, Burnside --- Finite groups --- Foundations --- Generators --- Relations --- Group theory - Congresses --- Groupes (algebre) --- Structures algebriques --- Generateurs --- Probleme du mot --- Burnside, Problème de.