関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Recursivefunctions
選択行を:
| 資料名 | 所在 |
1 | Degrees of unsolvability / by Gerald E. Sacks. -- Princeton University Press, 1963. -- (Annals of mathematics studies ; 55). | 図書館(書庫) 410.1:S121:1 |
2 | Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski. -- Kluwer Academic Publishers, c1999. -- (Synthese library ; v. 286). | 理数学 410.9:M 教養共4F哲学 410.9:M |
3 | Recursive function theory and logic. -- Academic Press, 1971. -- (Computer science and applied mathematics). | 図書館(書庫) 410.1:Y29r |
4 | Recursive macroeconomic theory / Lars Ljungqvist, Thomas J. Sargent. -- 2nd ed. -- MIT Press, c2004. | 図書館(閲覧室) 331:L |
5 | Theory of formal systems / by Raymond M. Smullyan. -- Rev. ed. -- Princeton University Press, [preface, 1962]. -- (Annals of mathematics studies ; no. 47). | 図書館(書庫) 410.1:S666:1 |
6 | Theory of recursive functions and effective computability / Hartley Rogers, Jr ; : pbk. -- MIT Press, 1987. | 図書館(書庫) 410.9:R |
7 | Theory of recursive functions and effective computability / Hartley Rogers, Jr.. -- McGraw-Hill, c1967. -- (McGraw-Hill series in higher mathematics). | 図書館(書庫) 410.1:R726t |
選択行を:
|