scientific article; zbMATH DE number 3294573

From MaRDI portal

Revision as of 03:41, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5577078

Jump to:navigation, search

zbMath0185.01901MaRDI QIDQ5577078

Arend Heyting

Publication date: 1969

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (2)

On V.A. Yankov’s Contribution to the History of Foundations of Mathematics ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5577078&oldid=30193349"