Recursive algebra, analysis and combinatorics
著者
書誌事項
Recursive algebra, analysis and combinatorics
（Studies in logic and the foundations of mathematics, v. 139 . Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] ; associate editor,
Elsevier, 1998
大学図書館所蔵 全32件
注記
Includes bibliographical references
内容説明・目次
目次
01 classes in mathematics (D. Cenzer, J.B. Remmel). Computability theory and linear orderings (R.G. Downey). Computable algebras and closure systems: coding properties (R.G. Downey, J.B. Remmel). A survey of recursive combinatorics (W. Gasarch). Constructive abelian groups (N.G. Khisamiev). Recursive and on-line graph coloring (H.A. Kierstead). Polynominal-time computability in analysis (K. Ko). Generally constructive Boolean algebras (S.P. Odintsov). Reverse algebra (S.G. Simpson, J. Rao).
「Nielsen BookData」 より