[Zurück]

S. Hetzl, A. Leitsch, D. Weller:
"Ceres in higher-order logic";
Annals of Pure and Applied Logic, 162 (2011), 12; S. 1001 - 1034.

http://dx.doi.org/10.1016/j.apal.2011.06.005

http://www.sciencedirect.com/science/article/pii/S0168007211000807