文献
J-GLOBAL ID:201202295806395169
整理番号:12A1002466
エルブランのコンシステンシーによる有界の代数理論の分別
Separating bounded arithmetical theories by Herbrand consistency
著者 (1件):
SALEHI Saeed
(Univ. Tabriz, Tabriz, IRN)
資料名:
Journal of Logic and Computation
(Journal of Logic and Computation)
巻:
22
号:
3
ページ:
545-560
発行年:
2012年06月
JST資料番号:
W1693A
ISSN:
0955-792X
資料種別:
逐次刊行物 (A)
発行国:
イギリス (GBR)
言語:
英語 (EN)