scientific article; zbMATH DE number 3573834
From MaRDI portal
Publication:4145690
zbMath0368.02026MaRDI QIDQ4145690
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Extensional realizability ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ A fundamental effect in computations on real numbers ⋮ Exercising Nuprl’s Open-Endedness ⋮ A minimalist two-level foundation for constructive mathematics ⋮ Realizability and intuitionistic logic ⋮ Formally computing with the non-computable
This page was built for publication:
