Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Provability, Computability and Reflection

Recursion theory --- Arithmetic --- Number theory --- Théorie de la récursivité --- Arithmétique --- Théorie des nombres --- Foundations --- Fondements --- EPUB-LIV-FT ELSEVIER-B --- Arithmetic -- Foundations. --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Number theory. --- Recursion theory. --- Foundations.