Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Provability, Computability and Reflection

Mathematical logic --- Combinatory logic. --- Logic, Symbolic and mathematical. --- Combinatory logic --- Logique combinatoire --- ELSEVIER-B EPUB-LIV-FT --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Combinatory --- Logic, Symbolic and mathematical --- Nonclassical mathematical logic --- Logique mathématique