Abstract | Keywords | Export | Availability | Bookmark

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)