Publication:4145690
From MaRDI portal
zbMath0368.02026MaRDI QIDQ4145690
Publication date: 1977
03B55: Intermediate logics
Related Items
Realizability and intuitionistic logic, A minimalist two-level foundation for constructive mathematics, A fundamental effect in computations on real numbers, Extensional realizability, Exercising Nuprl’s Open-Endedness