Definitional Reflection and Basic Logic

DSpace Repositorium (Manakin basiert)

Definitional Reflection and Basic Logic

Autor(en): Schroeder-Heister, Peter
Tübinger Autor(en):
Schroeder-Heister, Peter
Erschienen in: Annals of Pure and Applied Logic (2013), Bd. 164, H. SI, S. 491-501
Verlagsangabe: Elsevier Science Bv
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1016/j.apal.2012.10.010
ISSN: 0168-0072
DDC-Klassifikation: 004 - Informatik
510 - Mathematik
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: