Realizability for Constructive Zermelo-Fraenkel Set Theory

By Michael Rathjen. 2007

61 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/1d3003b1d18a3c8389ebaddff63883a82cf5772a