close
1.

図書
図書
1. Advanced topics in the arithmetic of elliptic curves (: us : hard - : gw : soft)
Joseph H. Silverman
出版情報: New York ; Tokyo : Springer-Verlag, c1994  xiii, 525 p. ; 25 cm
シリーズ名: Graduate texts in mathematics ; 151
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Elliptic and Modular Functions
Complex Multiplication
Elliptic Surfaces
The NFron Model
Elliptic Curves over Complete Fields
Local Height Functions
Some Useful Tables / Appendix A：
Notes on Exercises
References
List of Notation
Index
Preface
Introduction
Elliptic and Modular Functions
2.

図書
図書
2. Arithmetic, proof theory, and computational complexity
edited by Peter Clote and Jan Krajíček
出版情報: Oxford : Clarendon Press, 1993  xii, 428 p. ; 25 cm
シリーズ名: Oxford logic guides ; 23
所蔵情報: loading…
目次情報: 続きを見る
Preface
Open Problems / 1：
Note on the Existence of Most General Semi-unifiers / Matthias Baaz2：
Kreisel's Conjecture for L31 (including a postscript by George Kreisel) / Pavel Pudlak3：
Number of Symbols in Frege Proofs with and without the Deduction Rule / Maria Luisa Bonet4：
Algorithm for Boolean Formula Evolution and for Tree Contraction / Samuel R. Buss5：
Provably Total Functions in Bounded Arithmetic Theories Ri3, Ui2 and Vi2 / Jan Kraj"icek ; Gaisi Takeuti6：
On Polynomial Size Frege Proofs of Certain Combinatorial Principles / Peter Clote7：
Interpretability and Fragments of Arithmetic / Petr Hajek8：
Abbreviating Proofs Using Metamathematical Rules / Franco Montagna9：
Open Induction, Tennenbaum Phenomena, and Complexity Theory / Richard Kaye10：
Using Herbrand-type Theorems to Separate Strong Fragments of Arithmetic / 11：
An Equivalence between Second Order Bounded Domain Bounded Arithmetic and First Order Bounded Arithmetic / Alexander A. Razborov12：
Integer Parts of Real Closed Exponential Fields (extended abstract) / Jean-Pierre Ressayre13：
Making Infinite Structures Finite in Models of Second Order Bounded Arithmetic / Soren Riis14：
Ordinal Arithmetic in I / Richard Sommer15：
RSUV Isomorphism / 16：
Feasible Interpretability / Rineke Verbrugge17：
Preface
Open Problems / 1：
Note on the Existence of Most General Semi-unifiers / Matthias Baaz2：
3.

図書
図書
3. Advanced topics in the arithmetic of elliptic curves. 2nd corr. printing (: us : hard - : gw : soft)
Joseph H. Silverman
出版情報: New York ; Tokyo : Springer-Verlag, 1999, c1994  xiii, 525 p. ; 24 cm
シリーズ名: Graduate texts in mathematics ; 151
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Elliptic and Modular Functions
Complex Multiplication
Elliptic Surfaces
The NFron Model
Elliptic Curves over Complete Fields
Local Height Functions
Some Useful Tables / Appendix A：
Notes on Exercises
References
List of Notation
Index
Preface
Introduction
Elliptic and Modular Functions
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼