Errett Bishop: Reflections on him and his research

DOI10.1090/CONM/039zbMath0579.01015OpenAlexW2144623983MaRDI QIDQ3701381

No author found.

Publication date: 1985

Published in: Contemporary Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/conm/039

zbMATH Keywords

variablesProceedingsMeetingconstructive mathematicsuniform algebrasfunction algebrasSan Diego/Californiaseveral complextheorem proving programming languages

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (5)

Some points in formal topology. ⋮ A constructive theory of point-set nearness. ⋮ Semigroups with apartness ⋮ Reverse formalism 16 ⋮ Uncomputability and undecidability in economic theory

This page was built for publication: Errett Bishop: Reflections on him and his research