[Zurück]


Zeitschriftenartikel:

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



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.apal.2011.06.005

Elektronische Version der Publikation:
http://www.sciencedirect.com/science/article/pii/S0168007211000807


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.