Return to search

Some consistency strength analyses using higher core models

Thesis (doctoral)--Rheinische Friedrich-Wilhelms-Universität Bonn, 2000. / Includes bibliographical references (p. 99-102) and index.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/622422217
Date January 1900
CreatorsRudolph, Florian.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0088 seconds