WEKO3
アイテム / Models of Peano arithmetic as modules over initial segments and quantifier elimination results for products of ordered Abelian groups / A4258
A4258
ファイル | ライセンス |
---|---|
A4258.pdf (1.6 MB) sha256 57e04d616df0734d7998af9b85b88285220e580160a72a4fefd28cef49af553b |
公開日 | 2007-12-03 | |||||
---|---|---|---|---|---|---|
ファイル名 | A4258.pdf | |||||
本文URL | https://tsukuba.repo.nii.ac.jp/record/11680/files/A4258.pdf | |||||
オブジェクトタイプ | abstract | |||||
フォーマット | application/pdf | |||||
サイズ | 1.6 MB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|