Correction to the article: ``Formal recursive analysis

DOI10.5565/PUBLMAT_32288_12zbMath0654.03048MaRDI QIDQ1108268

S. H. Smith

Publication date: 1988

Published in: Publicacions Matemàtiques (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/41061

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations