Sciweavers

CORR
2010
Springer

Realizability algebras: a program to well order R

13 years 11 months ago
Realizability algebras: a program to well order R
Jean-Louis Krivine
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Jean-Louis Krivine
Comments (0)