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」 より