---

＜図書＞
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore
(Memoirs of the American Mathematical Society ; no. 1187)

出版者	Providence, Rhode Island : American Mathematical Society
出版年	2017
本文言語	英語
大きさ	v, 101 p. ; 26 cm
著者標目	*Hirschfeldt, Denis Roman Lange, Karen, 1980- Shore, Richard A., 1946-
件　名	LCSH:Reverse mathematics LCSH:Computable functions LCSH:Decidability (Mathematical logic)
一般注記	"Volume 249, number 1187 (eighth of 8 numbers), September 2017" Bibliography: p. 99-101

 類似資料