Reflection principles and provability algebras in formal arithmetic

Bibliographische Detailangaben

1. Verfasser:	Beklemishev, Lev D. 1967- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Utrecht Dep. of Philosophy, Utrecht Univ. 2005
Schriftenreihe:	Logic Group preprint series 236
Schlagworte:	Beweistheorie Mathematische Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!