Sciweavers

CORR
2010
Springer

Realizability algebras II : new models of ZF + DC

13 years 11 months ago
Realizability algebras II : new models of ZF + DC
Jean-Louis Krivine
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Jean-Louis Krivine
Comments (0)