In Memoriam: Hao Wang 1921–1995

DOI10.1017/S1079898600007964MaRDI QIDQ4879896zbMATH OpenFDO

Authors Charles Parsons

Publication date 2 June 1996

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0201-toc.htm

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)

Cites work

• scientific article; zbMATH DE number 3882394 (Why is no real title available?)
• scientific article; zbMATH DE number 4021069 (Why is no real title available?)
• A formal system of logic
• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
• The formalization of mathematics
• Toward Mechanical Mathematics

This page was built for publication: In Memoriam: Hao Wang 1921–1995

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4879896)