scientific article; zbMATH DE number 3345433

zbMath0217.30401MaRDI QIDQ5621360

Solomon Feferman

Publication date: 1971

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

Related Items

Penrose's new argument