scientific article; zbMATH DE number 3390730
From MaRDI portal
Publication:5659516
zbMath0247.02033MaRDI QIDQ5659516
Nicolas D. Goodman, John Myhill
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foundations: limits and generalizations, elementary topology of the line (26A03) Proof theory and constructive mathematics (03F99)
Related Items
A constructive approach to nonstandard analysis, Bibliography of John Myhill, Theory of proofs (arithmetic and analysis)
