close
1.

図書
図書
1. A course in mathematical logic (: us ; : gw)
Yu.I. Manin ; translated from the Russian by Neal Koblitz
出版情報: New York : Springer-Verlag, c1977  xiii, 286 p. ; 25 cm
シリーズ名: Graduate texts in mathematics ; 53
所蔵情報: loading…
目次情報: 続きを見る
Provability: Introduction to Formal Languages
Truth and Deducibility
The Continuum Problem and Forcing
The Continuum Problem and Constructible Sets
Computability: Recursive Functions and Church's Thesis
Diophantine Sets and Algorithmic Undecidability
Provability and Computability: Gwdel's Incompleteness Theorem
Recursive Groups
Index
Provability: Introduction to Formal Languages
Truth and Deducibility
The Continuum Problem and Forcing
2.

図書
図書
2. P-adic numbers, p-adic analysis, and zeta-functions (: us ; : gw)
Neal Koblitz
出版情報: New York ; Berlin : Springer-Verlag, c1977  x, 122 p. ; 25 cm
シリーズ名: Graduate texts in mathematics ; 58
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼