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