Publication:4145690
From MaRDI portal
zbMath0368.02026MaRDI QIDQ4145690
Publication date: 1977
03B55: Intermediate logics
Related Items
Validating Brouwer's continuity principle for numbers using named exceptions, Realizability and intuitionistic logic, A minimalist two-level foundation for constructive mathematics, A fundamental effect in computations on real numbers, Extensional realizability, Formally computing with the non-computable, Exercising Nuprl’s Open-Endedness