The MathNet Korea
Information Center for Mathematical Science

논문검색

Information Center for Mathematical Science

논문검색

Journal of Contemporary Mathematical Analysis
( Vol. 35 NO.5 / (2000))
Comparison of Proof Sizes in Systems and Substitution Systems of Frege
A. A. Chubaryan,
Pages. 21-29
Abstract
Contents 0. Introduction
1. Basic concepts, definitions and notations
2. Special constructions
3. The main properties of canonic proofs
Key words
Mathmatical Subject Classification