Choose an application

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

Science --- Methodology. --- Scientific method --- Methodology --- Logic, Symbolic and mathematical

Choose an application

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

Logic --- Logic, Symbolic and mathematical --- Logique --- Logique symbolique et mathématique

Choose an application

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

Provability, Computability and Reflection

Algebra, Abstract --- Mathematics --- Algèbre abstraite --- Mathématiques --- EPUB-LIV-FT ELSEVIER-B --- Algebra, Abstract. --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Mathematics. --- Metamathematics. --- Model theory. --- Algebra. --- Logic.