Realizability for constructive Zermelo-Fraenkel set theory (2004)

by Michael Rathjen
Venue:STOLTENBERG-HANSEN (EDS.): PROCEEDINGS OF THE LOGIC COLLOQUIUM 2003
Citations:5 - 1 self