1. Kyoto University Research Information Repository

検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-10 / 14.
検索結果:
書誌情報ファイル
A system of $\lambda\mu$ - calculus proper to the implicational fragment of classical natural deduction with one conclusion
  ANDOU, Yuuki (1997-02)
  数理解析研究所講究録, 976: 70-76
file type icon 
NDKにおける自然な証明についての考察(証明論における順序数)
  八杉, 満利子; 中田, 昌宏 (1997-02)
  数理解析研究所講究録, 976: 13-26
file type icon 
COUNTING SMALL SETS IN WEAK BOUNDED ARITHMETIC
  KUROTA, SATORU (1997-02)
  数理解析研究所講究録, 976: 27-33
file type icon 
Bounded Arithmetic vs. Propositional Calculus
  Arai, Noriko H. (1997-02)
  数理解析研究所講究録, 976: 1-12
file type icon 
Characterization Theorems for Multiplicative Fragment of Intuitionistic Non-Commutative Linear Logic : Preliminary Report
  NAGAYAMA, Misao; OKADA, Mitsuhiro (1997-02)
  数理解析研究所講究録, 976: 55-69
file type icon 
On Buss and Turan's extensions of Haken's results
  KIKUCHI, MAKOTO (1997-02)
  数理解析研究所講究録, 976: 34-37
file type icon 
Normal forms for derivations in Arai's AI$_\xi^-$
  Ikeda, Kazuma (1997-02)
  数理解析研究所講究録, 976: 38-54
file type icon 
2階算術の諸体系 : モデル論的手法による分析 その3(証明論における順序数)
  田中, 一之 (1997-02)
  数理解析研究所講究録, 976: 77-85
file type icon 
II$_\infty^0$-BCT の保存性について(証明論における順序数)
  山崎, 武 (1997-02)
  数理解析研究所講究録, 976: 86-96
file type icon 
Consistency Proof via Pointwise Induction
  Arai, Toshiyasu (1997-02)
  数理解析研究所講究録, 976: 125-134
file type icon 

絞り込み