Search Results1-10 of  10

  • SEKI SETSUYA ID: 9000021823644

    Articles in CiNii:1

    • Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension (1960)
  • SEKI Setsuya ID: 9000021528731

    St. Paul's University (1952 from CiNii)

    Articles in CiNii:1

    • On the change of variables in the multiple integrals (1952)
  • Seki Setsuya ID: 9000017282935

    Articles in CiNii:1

    • A remark on the theory of automata. (1963)
  • Seki Setsuya ID: 9000017287436

    Articles in CiNii:1

    • On transfinite inferences,2. (1962)
  • Setsuya Seki ID: 9000017287512

    Articles in CiNii:1

    • On transfinite inferences (1955)
  • Setsuya Seki ID: 9000017287525

    Articles in CiNii:1

    • A metatheorem on SLK (1954)
  • Setsuya Seki ID: 9000017287539

    Articles in CiNii:1

    • On the Weakened Type-Logic (Note on Metamathematics I) (1953)
  • Setsuya Seki ID: 9000017287547

    Articles in CiNii:1

    • On the Curvatura Integra in a Riemannian Manifold (1953)
  • Setsuya Seki ID: 9000270884407

    Articles in CiNii:1

    • On transfinite inferences(II) (1962)
  • Setsuya Seki ID: 9000270884419

    Articles in CiNii:1

    • A remark on the theory of automata (1963)
Page Top