Definitional Reflection and Basic Logic

DSpace Repository

Definitional Reflection and Basic Logic

Author: Schroeder-Heister, Peter
Tübinger Autor(en):
Schroeder-Heister, Peter
Published in: Annals of Pure and Applied Logic (2013), Bd. 164, H. SI, S. 491-501
Verlagsangabe: Elsevier Science Bv
Language: English
Full text: http://dx.doi.org/10.1016/j.apal.2012.10.010
ISSN: 0168-0072
DDC Classifikation: 004 - Data processing and computer science
510 - Mathematics
Dokumentart: Artikel
Show full item record

This item appears in the following Collection(s)