Kushner, B. A.; Tseĭtin, G. S. Some properties of F-numbers. (English. Russian original) Zbl 0267.02023 Semin. Math., V. A. Steklov Math. Inst., Leningrad 8, 49-55 (1968); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklov 8, 107-120 (1968). Reviewer: V. Lifshits (R. Zh. Mat. 1969, 12A111) Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 13 Documents MSC: 03F99 Proof theory and constructive mathematics PDFBibTeX XML