A formal system of logic

DOI10.2307/2268438zbMath0039.24601OpenAlexW2078298002WikidataQ56031503 ScholiaQ56031503MaRDI QIDQ5798792

Hao Wang

Publication date: 1950

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268438

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (4)

Frege's double correlation thesis and Quine's set theories NF and ML ⋮ In Memoriam: Hao Wang 1921–1995 ⋮ Zigzag and Fregean Arithmetic ⋮ ALGEBRAIC NEW FOUNDATIONS

Cites Work

• New Foundations for Mathematical Logic
• On the consistency of Quine's New foundations for mathematical logic
• On Zermelo's and Von Neumann's Axioms for Set Theory
• Consistency of the Continuum Hypothesis. (AM-3)

This page was built for publication: A formal system of logic