Return to search

Independence proofs in arithmetic theories with very weak induction

Inaug. Diss.--Bonn. / Bibliography: p. [71].

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/300712543
Date January 1973
CreatorsGarro, Ibrahim.
PublisherBonn [Mathematisches Institut der Universität]
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0025 seconds