R. L. Goodstein and mathematical logic

DOI10.1017/S0025557200000139zbMATH Open1384.01059MaRDI QIDQ5350596FDOQ5350596

Graham T. Q. Hoare

Publication date: 1 September 2017

Published in: The Mathematical Gazette (Search for Journal in Brave)

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Cites Work

• Function Theory in an Axiom-Free Equation Calculus
• Recursive analysis
• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus

This page was built for publication: R. L. Goodstein and mathematical logic

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