Realizability algebras: a program to well order R

From MaRDI portal
Publication:3224668