R. L. Goodstein and mathematical logic

DOI10.1017/S0025557200000139MaRDI QIDQ5350596zbMATH OpenFDO

Authors 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)