메뉴 건너뛰기




Volumn 105, Issue 4, 1998, Pages 348-353

Induction the hard way

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0032386164     PISSN: 00029890     EISSN: None     Source Type: Journal    
DOI: 10.2307/2589710     Document Type: Article
Times cited : (4)

References (7)
  • 1
    • 0040360930 scopus 로고    scopus 로고
    • Making proofs without modus ponens: An introduction to the combinatorics and complexity of cut elimination
    • A. Carbone and S. Semmes, Making proofs without modus ponens: an introduction to the combinatorics and complexity of cut elimination, Bull. Amer. Math. Soc. (N.S.) 34 (1997) 131-159.
    • (1997) Bull. Amer. Math. Soc. (N.S.) , vol.34 , pp. 131-159
    • Carbone, A.1    Semmes, S.2
  • 2
    • 0009165528 scopus 로고
    • Correctness of inconsistent theories with notions of feasibility
    • Computation Theory (A. Skowron, ed.)
    • A. G. Dragalin, Correctness of inconsistent theories with notions of feasibility, Computation Theory (A. Skowron, ed.), Lecture Notes in Computer Science 208, 1985, pp. 58-79.
    • (1985) Lecture Notes in Computer Science , vol.208 , pp. 58-79
    • Dragalin, A.G.1
  • 3
    • 0002626895 scopus 로고
    • Elementary descent recursion and proof theory
    • H. Friedman and M. Sheard, Elementary descent recursion and proof theory, Ann. Pure Appl. Logic 71 (1995) 1-45.
    • (1995) Ann. Pure Appl. Logic , vol.71 , pp. 1-45
    • Friedman, H.1    Sheard, M.2
  • 4
    • 0001695955 scopus 로고
    • Existence and feasibility in arithmetic
    • R. Parikh, Existence and feasibility in arithmetic, J. Symbolic Logic 36 (1971) 494-508.
    • (1971) J. Symbolic Logic , vol.36 , pp. 494-508
    • Parikh, R.1
  • 6
    • 0000889550 scopus 로고
    • Cuts, consistency statements and interpretations
    • P. Pudlák, Cuts, consistency statements and interpretations, J. Symbolic Logic 50 (1985) 423-441.
    • (1985) J. Symbolic Logic , vol.50 , pp. 423-441
    • Pudlák, P.1
  • 7
    • 0039154853 scopus 로고
    • Solutions of elementary problems, E3230
    • Solutions of elementary problems, E3230 (editorial comment), Amer. Math. Monthly 96 (1989) 264.
    • (1989) Amer. Math. Monthly , vol.96 , pp. 264


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.