Choose an application

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

Provability, Computability and Reflection

Mathematical logic --- Bernays, P. --- Bernays, Paul, --- Bernays, Paul --- Axiomatic set theory --- Théorie axiomatique des ensembles --- ELSEVIER-B EPUB-LIV-FT --- Axiomatic set theory. --- #WWIS:ALTO --- 510.22 --- 510.22 Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Axioms --- Logic, Symbolic and mathematical --- Set theory --- Théorie des ensembles --- Bernays, Paul, - 1888-1977

Choose an application

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

Choose an application

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

Choose an application

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

Polymers --- Analysis.

Choose an application

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

Mathematical logic --- Recursion theory --- Congresses. --- 51 --- -Logic, Symbolic and mathematical --- Mathematics --- Congresses --- -Mathematics --- 51 Mathematics --- -51 Mathematics --- Logic, Symbolic and mathematical --- Recursion theory - Congresses.