Zur endlichen Behandlung der Beweistheorie schwacher Fragmente der Mengenlehre : KP + [Pi]3-Reflexion

dc.identifier.uri	http://dx.doi.org/10.15488/5878
dc.identifier.uri	https://www.repo.uni-hannover.de/handle/123456789/5930
dc.contributor.author	Michelbrink, Markus	ger
dc.date.accessioned	2019-11-10T11:04:19Z
dc.date.available	2019-11-10T11:04:19Z
dc.date.issued	2001
dc.identifier.citation	Michelbrink, Markus: Zur endlichen Behandlung der Beweistheorie schwacher Fragmente der Mengenlehre : KP + [Pi]3-Reflexion. Hannover : Universität, Diss., 2001, 96 S.	ger
dc.description.abstract	[no abstract]	ger
dc.language.iso	ger	eng
dc.publisher	Hannover : Universität
dc.rights	Es gilt deutsches Urheberrecht. Das Dokument darf zum eigenen Gebrauch kostenfrei genutzt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.	ger
dc.subject	Finitary proof theory	eng
dc.subject	ordinal analysis	eng
dc.subject	impredicative theories	eng
dc.subject.ddc	510 \| Mathematik	ger
dc.title	Zur endlichen Behandlung der Beweistheorie schwacher Fragmente der Mengenlehre : KP + [Pi]3-Reflexion	ger
dc.type	DoctoralThesis	ger
dc.type	Text	ger
dc.relation.urn	urn:nbn:de:gbv:089-3280024372
dcterms.extent	96 S.
dc.description.version	publishedVersion	ger
tib.accessRights	frei zug�nglich	ger

Name: 328002437.pdf

Größe: 538.9Kb

Format: PDF

Die Publikation erscheint in Sammlung(en):

Fakultät für Elektrotechnik und Informatik
Frei zugängliche Publikationen aus der Fakultät für Elektrotechnik und Informatik
Dissertationen
Dissertationsschriften der Leibniz Universität Hannover