熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 6 筆, 頁數 1 / 1
呈現:
Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles
This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial...... more |
|||
E-Recursion, Forcing and C*-Algebras
theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced...... more |
|||
E-Recursion, Forcing and C*-Algebras
theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced...... more |
|||
Infinity and Truth
This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute ... more |
|||
Computational Prospects of Infinity: Presented Talks
This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of...... more |
|||
Computational Prospects of Infinity: Tutorials
research in recursion theory. Theodore A Slaman s article is the first printed account of the ground-breaking work of...... more |